000 00473nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540492825
100 _aV. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
245 0 _aLogic Programming and Nonmonotonic Reasoning
250 _a1995
260 _bSpringer Berlin Heidelberg
_c1995
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-59487-6
999 _c27528
_d27528