18 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
-
Preview Book
×Close
Subjects
Logic programming, Artificial intelligence, Automatic theorem proving, Form (Logic), Intelligence artificielle, Logic, symbolic and mathematical, Predicate calculus, Reasoning, Calcul paralle le, Cerveau, Cognition, Computer programming, Computer software, Computer software, development, Computers, Data processing, Deductive databases, Development, Engineering, Engineering, data processing, Functional programming (computer science), Handbooks, manuals, History, Héritage, IncertitudePeople
J. A. RobinsonID Numbers
- OLID: OL1763196A
Links outside Open Library
No links yet. Add one?







