Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Title Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.

Imprint Amsterdam : Amsterdam University Press, c2008.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 736 p. : ill.
Series Texts in logic and games ; v. 2
Texts in logic and games ; v. 2.
Bibliography Includes bibliographical references.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Machine theory.
Logic, Symbolic and mathematical.
Computer science -- Mathematics.
Computational complexity.
Genre/Form Electronic books.
Added Author Flum, Jorg.
Gradel, Erich, 1958-
Wilke, Thomas, 1965-
ProQuest (Firm)
ISBN 9789053565766

Available items only