1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Automatisches Beweisverfahren, Congres, Congresses, Demonstration automatique, Inteligencia artificial (conmputacʹao), Logique symbolique et mathematique, Symbolic and mathematical Logic, TheoremesID Numbers
- OLID: OL885647A
Links (outside Open Library)
No links yet. Add one?
April 1, 2008 | Created by an anonymous user | initial import |