Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

Bibliografiset tiedot
Muut tekijät: Leivant, Daniel Maurice Raphael
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Berlin Springer c1995.
Sarja:Lecture notes in computer science 960
Aiheet: