000 01218nmm a22003255u 4500
005 20210209121926.0
008 100301s2006 xx j eng d
020 _a9783540396277
050 0 4 _aQ334
_bF57 2006
100 1 _aFisher, Michael.
245 1 0 _aLogics in Artificial Intelligence
_h[electronic resource] :
_b10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
_cedited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa.
250 _a1a ed.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2006.
300 _bv.: digital
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v4160
650 0 _aComputer science
650 0 _aArtificial intelligence
650 1 4 _aComputer Science
650 2 4 _aArtificial Intelligence (incl. Robotics)
650 2 4 _aProgramming Techniques
650 2 4 _aMathematical Logic and Formal Languages
700 1 _aHoek, Wiebe.
700 1 _aKonev, Boris.
700 1 _aLisitsa, Alexei.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/11853886
942 _2lcc
_cLIE
999 _c15330
_d15330