000 | 02441nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-642-30743-0 | ||
003 | DE-He213 | ||
005 | 20140220083319.0 | ||
007 | cr nn 008mamaa | ||
008 | 120602s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642307430 _9978-3-642-30743-0 |
||
024 | 7 |
_a10.1007/978-3-642-30743-0 _2doi |
|
050 | 4 | _aQA8.9-QA10.3 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
082 | 0 | 4 |
_a005.131 _223 |
100 | 1 |
_aErdem, Esra. _eeditor. |
|
245 | 1 | 0 |
_aCorrect Reasoning _h[electronic resource] : _bEssays on Logic-Based AI in Honour of Vladimir Lifschitz / _cedited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_aXI, 594p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7265 |
|
520 | _aThis Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
700 | 1 |
_aLee, Joohyung. _eeditor. |
|
700 | 1 |
_aLierler, Yuliya. _eeditor. |
|
700 | 1 |
_aPearce, David. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642307423 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7265 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-30743-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 |
_c103236 _d103236 |