TY - BOOK
AU - Pereira, Luís Moniz
AU - Nerode, Anil
TI - Logic programming and non-monotonic reasoning proceedings of the Second International Workshop
PB - MIT Press
SN - 0262660830
KW - Logic programming
KW - Congresses
KW - Nonmonotonic reasoning
KW - Konferenzschrift 1993 Lissabon
KW - Konferenzschrift
KW - Logische Programmierung
KW - Nichtmonotone Logik
KW - Nichtmonotones Schließen
PY - 1993
N2 - Literaturangaben
CY - Cambridge, Mass. [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation