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

Detalhes bibliográficos
Outros Autores: Leivant, Daniel Maurice Raphael
Formato: Livro
Idioma:English
Publicado em: Berlin Springer c1995.
Colecção:Lecture notes in computer science 960
Assuntos:
Logic, Symbolic and mathematical > Congresses.
Computational complexity > Congresses.