Logic and automata
Additional authors:
Flum, J�org.
|
Gr�adel, Erich,
--
1958-
|
Wilke, Thomas,
--
1965-
|
ebrary, Inc.
Series:
Texts in logic and games ;
. v. 2
Published by :
Amsterdam University Press,
(Amsterdam :)
Physical details: 736 p. : ill.
Subject(s):
Machine theory.
|
Logic, Symbolic and mathematical.
|
Computer science
--
Mathematics.
|
Computational complexity.
|
Electronic books.
Year: 2008
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10302747
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.