1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Automatisches Beweisverfahren, Computer science, Computer software, Congresses, Informatik, Künstliche Intelligenz, Logic design, Logic, symbolic and mathematical, Logik, Problemlösen, Programmierlogik, Software engineering, Symbolic and mathematical LogicID Numbers
- OLID: OL7124638A
Links (outside Open Library)
No links yet. Add one?
May 16, 2012 | Created by LC Bot | import new book |