Representation Theorems and Theorem Proving in Non-Classical Logics.
ISMVL. 1999 S. 242 - 247
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/ISMVL.1999.779723
Geprüft | Bibliothek |
ISMVL. 1999 S. 242 - 247
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/ISMVL.1999.779723
Geprüft | Bibliothek |