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

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

Dades bibliogràfiques
Altres autors: Leivant, Daniel Maurice Raphael
Format: Llibre
Idioma:English
Publicat: Berlin Springer c1995.
Col·lecció:Lecture notes in computer science 960
Matèries:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.