000 00456nam a2200145Ia 4500
999 _c20521
_d20521
008 161214s9999 xx 000 0 und d
020 _a9781439829615
_c(hbk)
082 _a005.115
_bHIT
100 _aHitzler, Pascal
245 0 _aMathematical aspects of logic programming semantics
260 _aBoca Raton:
_bCRC Press,
_c2011
300 _axxx, 274 p.;
_bill.:
_c25 cm.
490 _aChapman & Hall / CRC studies in informatics series
650 _aTopology
650 _aLogic programming
650 _aFoxed-point theory
650 _aArtificial neural network
942 _2ddc
_cBK