2 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
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 |