000 00777nam a2200193Ia 4500
005 20241121004827.0
008 241119s9999||||xx |||||||||||||| ||und||
020 _a3-540-25236-3
041 _aENG
082 _a1.535
_bBAA
100 _aBaader Franz
245 0 _aLogic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, Mar
260 _aLondon
_bSpriger
_c2005
300 _a562p
504 _aBaader Franz & Voronkov Andrei: Logic for Programming, Artificial Intelligence, and Resoning : 11th International Conference, LPAR 2004 Montevideo, Uruguay, March 2005 Prodeedings. London. Spriger, 2005. 3-540-25236-3--(001.535BAA)
546 _aENGLISH
700 _a Voronkov Andrei,
942 _cBK
999 _c68234
_d68234