000 01285nmm a22003375u 4500
005 20210208142223.0
008 100301s2008 xx j eng d
020 _a9783540899822
050 0 4 _aQA76.63
_bG37 2008
100 1 _aGarcia de la Banda, Maria.
245 1 0 _aLogic Programming
_h[electronic resource] :
_b24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
_cedited by Maria Garcia de la Banda, Enrico Pontelli.
250 _a1a ed.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2008.
300 _bv.: digital
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5366
650 0 _aComputer science
650 0 _aLogic design
650 0 _aArtificial intelligence
650 1 4 _aComputer Science
650 2 4 _aProgramming Techniques
650 2 4 _aArtificial Intelligence (incl. Robotics)
650 2 4 _aProgramming Languages, Compilers, Interpreters
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aMathematical Logic and Formal Languages
700 1 _aPontelli, Enrico.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-89982-2
942 _2lcc
_cLIE
999 _c23207
_d23207