On Translation of Finitely-Valued Logics to Classical First-Order Logic
Henri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411
Erscheinungsjahr: 1998
ISBN/ISSN: 0-471-98431-0
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Geprüft | Bibliothek |