000 00512nam a2200181Ia 4500
008 161214s9999 xx 000 0 und d
020 _a0387515666
_c(hbk)
082 _223
_a006.3
_bBES
100 _aBesnard, Philippe
245 0 _aIntroduction to default logic
260 _aBerlin:
_bSpringer,
_c1989
300 _axi, 208 p.;
_b:
_c26 cm.
490 _aSymbolic computation. Artificial intelligence
650 _aArtificial intelligence
650 _aLogic
650 _aLogic programming
942 _2ddc
_cBK
999 _c2068
_d2068