On Translation of Finitely-Valued Logics to Classical First-Order Logic.
ECAI. 1998 S. 410 - 411
Erscheinungsjahr: 1998
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ECAI. 1998 S. 410 - 411
Erscheinungsjahr: 1998
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |