5 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
Artificial intelligence, Automatisches Beweisverfahren, Bielefeld (Germany), Bielefeld (Germany). Theologische Schule Bethel, Computer science, Computeralgebra, Congresses, Congrès, Constraint, Deduktionssystem, Entscheidungsproblem, History, Housing, Infinity, Informatique, Inner missions, Landlord and tenant, Law and legislation, Leases, Lineare Optimierung, Logic, Logique mathématique, Logique symbolique et mathématique, MATHEMATICS, Mathematische LogikTime
Unification, 1990ID Numbers
- OLID: OL813329A
Links (outside Open Library)
No links yet. Add one?
September 4, 2008 | Edited by RenameBot | fix author name |
August 25, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |