Logic and computational complexity : selected papers from the international workshop LCC'94, held in Indianapolis, IN, USA, October 1994 / editor Daniel Leivant.
- Berlin [etc.] : Springer-Verlag , cop. 1995 .
- VIII, 514 p. : il. ; 24 cm.
- (Lecture notes in computer science)
; 960
ISBN 3-540-60178-3
Lógica matemática
Complexidade computacional
LCC QA75.5
ISBN 3-540-60178-3
Lógica matemática
Complexidade computacional
LCC QA75.5