2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Algorithm Analysis and Problem Complexity, Automatic theorem proving, Computational complexity, Computer science, Computer software, Congresses, Data processing, Discrete Mathematics in Computer Science, Electronic data processing, Geometry, Geometry, data processing, Information theory, Logic, symbolic and mathematical, Math Applications in Computer Science, Mathematics, data processing, Numeric Computing, Software Engineering/Programming and Operating Systems, Software engineering, Symbolic and mathematical Logic, Theory of ComputationID Numbers
- OLID: OL8025610A
Links outside Open Library
No links yet. Add one?
July 28, 2020 | Created by ImportBot | import new book |