Logic and machines : decision problems and complexity / E. Borger, G. Hasenjaeger, D. Redding, ed. lit..
- New York : Springer-Verlag , cop. 1984 .
- VI, 456 p. : il. ; 25 cm.
- (Lecture Notes in Computer Science)
; 171
ISBN 0-387-13331-3
Máquinas lógicas
Complexidade computacional
LCC QA75.5
ISBN 0-387-13331-3
Máquinas lógicas
Complexidade computacional
LCC QA75.5