1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Automatische bewijsvoering, Ciencia da computacao ou informatica, Computer science, Congres, Congresses, Demonstration automatique, Inteligencia artificial (computacao), Logic design, Logic, symbolic and mathematical, Logica, Software engineering, Symbolic and mathematical Logic, TheoremesID Numbers
- OLID: OL396300A
Links (outside Open Library)
No links yet. Add one?
April 1, 2008 | Created by an anonymous user | initial import |