TY - BOOK
AU - Besnard, Philippe
TI - An introduction to default logic
PB - Springer
SN - 3540515666
SN - 0387515666
KW - Artificial intelligence
KW - Logic programming
KW - Logic
KW - Künstliche Intelligenz
KW - Logik
KW - Mathematisches Modell
KW - Default-Logik
PY - 1989
N2 - Literaturverz. S. 195 - 202
BT - Symbolic computation ; artificial intelligence
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation