000 01372nmm a22003615u 4500
005 20210208141603.0
008 100301s2008 xx j eng d
020 _a9783540894391
050 0 4 _aQA76.63
_bC47 2008
100 1 _aCervesato, Iliano.
245 1 0 _aLogic for Programming, Artificial Intelligence, and Reasoning
_h[electronic resource] :
_b15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
_cedited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
250 _a1a ed.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2008.
300 _bv.: digital
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5330
650 0 _aComputer science
650 0 _aSoftware engineering
650 0 _aLogic design
650 0 _aArtificial intelligence
650 1 4 _aComputer Science
650 2 4 _aArtificial Intelligence (incl. Robotics)
650 2 4 _aProgramming Techniques
650 2 4 _aSoftware Engineering
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aMathematical Logic and Formal Languages
700 1 _aVeith, Helmut.
700 1 _aVoronkov, Andrei.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-89439-1
942 _2lcc
_cLIE
999 _c15104
_d15104