000 | 03049nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-642-20674-0 | ||
003 | DE-He213 | ||
005 | 20240730183253.0 | ||
007 | cr nn 008mamaa | ||
008 | 110420s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642206740 _9978-3-642-20674-0 |
||
024 | 7 |
_a10.1007/978-3-642-20674-0 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTA347.A78 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aModel Checking and Artificial Intelligence _h[electronic resource] : _b6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / _cedited by Ron van der Meyden, Jan-Georg Smaus. |
250 | _a1st ed. 2011. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2011. |
|
300 |
_aXI, 131 p. _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 Artificial Intelligence, _x2945-9141 ; _v6572 |
|
520 | _aThis book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking. | ||
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aMachine theory. _9131260 |
|
650 | 1 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aProgramming Techniques. _9131261 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aFormal Languages and Automata Theory. _9131262 |
700 | 1 |
_avan der Meyden, Ron. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9131263 |
|
700 | 1 |
_aSmaus, Jan-Georg. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9131264 |
|
710 | 2 |
_aSpringerLink (Online service) _9131265 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642206733 |
776 | 0 | 8 |
_iPrinted edition: _z9783642206757 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v6572 _9131266 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-20674-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c91771 _d91771 |