Logic and Machines
Subtitle: Decision Problems and Complexity (Lecture Notes in Computer Science)
Contributors: E. Borger (Editor)
Publisher: Springer-Verlag
Published: June 1984
Language: eng
Number of pages: 456
ISBN-13: 9780387133317