000 00652nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783319616605
100 _aMarcello Balduccini, Tomi Janhunen
245 0 _aLogic Programming and Nonmonotonic Reasoning
260 _bSpringer
_c2017
440 _aLecture Notes in Computer Science
653 _aArtificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Software Engineering; Programming Techniques
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-61659-9
942 _cEB
999 _c43896
_d43896