Subjects
Automatic theorem proving, Automatische bewijsvoering, Automatisches Beweisverfahren, Logic, symbolic and mathematical, Nichtklassische Logik, Nonclassical mathematical logicID Numbers
- OLID: OL1075166A
Links outside Open Library
No links yet. Add one?
