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