24 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Subjects
Computer science, Information theory, Mathematics, Artificial Intelligence (incl. Robotics), Artificial intelligence, Calendar, Computer software, Information Storage and Retrieval, Information storage and retrieval systems, Language Translation and Linguistics, Theory of Computation, Translators (Computer programs), Automatic theorem proving, Computer algorithms, Computer programming, Computer programs, design, Computer science, mathematics, Computers - Languages / Programming, Data processing, Logic, Programming - General, Rewriting systems (Computer science), Verification, Abstraction, Abstrakte ZustandsmaschineID Numbers
- OLID: OL543170A
Links outside Open Library
No links yet. Add one?
August 29, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |