3 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Automatic theorem proving, Computation by Abstract Devices, Computer Communication Networks, Computer programs, Computer science, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software engineeringID Numbers
- OLID: OL7863487A
Links (outside Open Library)
No links yet. Add one?
May 3, 2020 | Created by ImportBot | import new book |