1 work Add another?
Showing ebooks only. Would you like to see everything by this author?
Subjects
Artificial intelligence, Automatisches Beweisverfahren, Intuitionisme (Mathématiques), Intuitionistic mathematics, Künstliche Intelligenz, Logic, symbolic and mathematical, Mathématiques intuitionnistes, Modality (Logic), Modalité (Logique), Nichtklassische Logik, Preuve, Théorie de la, Proof theory, PrüfprogrammID Numbers
- OLID: OL1005051A
Links (outside Open Library)
No links yet. Add one?
August 20, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |