000 00779nam a2200217Ia 4500
003 OSt
005 20221212172137.0
008 211118s9999 xx 000 0 und d
020 _a978-1-60845-972-8
040 _cIITB
041 _aeng
245 0 _aAnswer set solving in practice (e-book)
260 _aSan Rafael
_bMorgan and Claypool /
_bIEEE Press /
_bSpringer
_c2013
440 _aSynthesis lectures on artificial intelligence and machine learning
_921907
500 _aIEEE Morgan and Claypool Computer and Information Science (CIS) collection
650 0 _aLogic programming
_925077
650 0 _924121
_aDeclarative programming
700 _aGebser, Martin... [et al.]
_eAuthor
_922238
856 _uhttps://ieeexplore.ieee.org/document/6813208
942 _cEB
_2udc
999 _c278473
_d278473