3 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
Algebra, Algorithm Analysis and Problem Complexity, Approximation theory, Artificial Intelligence (incl. Robotics), Artificial intelligence, Automatic theorem proving, Computer science, Computer software, Data processing, Logic, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Mathematics, Nonlinear operators, Proof theory, Symbolic and Algebraic ManipulationID Numbers
- OLID: OL8109778A
Links outside Open Library
No links yet. Add one?
August 11, 2020 | Created by ImportBot | import new book |