LEADER 03600nam 22007095 450 001 996465539903316 005 20200705203424.0 010 $a3-642-20674-3 024 7 $a10.1007/978-3-642-20674-0 035 $a(CKB)2670000000082474 035 $a(SSID)ssj0000539196 035 $a(PQKBManifestationID)11360942 035 $a(PQKBTitleCode)TC0000539196 035 $a(PQKBWorkID)10568619 035 $a(PQKB)11390846 035 $a(DE-He213)978-3-642-20674-0 035 $a(MiAaPQ)EBC3066654 035 $a(PPN)153866691 035 $a(EXLCZ)992670000000082474 100 $a20110420d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking and Artificial Intelligence$b[electronic resource] $e6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /$fedited by Ron van der Meyden, Jan-Georg Smaus 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XI, 131 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6572 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-20673-5 320 $aIncludes bibliographical references and index. 330 $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. 410 0$aLecture Notes in Artificial Intelligence ;$v6572 606 $aArtificial intelligence 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 702 $avan der Meyden$b Ron$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSmaus$b Jan-Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465539903316 996 $aModel Checking and Artificial Intelligence$9772652 997 $aUNISA LEADER 01895nam0 22003611i 450 001 UON00049701 005 20231205102220.581 100 $a20020107d2000 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| 1|||| 200 1 $aˆLa ‰ceramica fenicia di Sardegna$eDati problematiche, confronti$fa cura di Piero Bartoloni e Lorenza Campanella 210 $aRoma$cCNR$d2000 215 $a370 p.$cill$d31 c 300 $aIn testa al front.: Istituto per la Civiltà Fenicia e Punica "Sabatino Moscati" ; Atti del Primo congresso Internazionale Sulcitano Sant'Antioco, 19-21 Settembre 1997 316 $aISTITUTO PER LA CIVILTA' FENICIA E PUNICA "SABATINO MOSCATI"$5IT-UONSI K370 517 1$3UON00356827$aAtti del Primo Congresso Internazionale Sulcitano, Sant'Antioco 19-21 sett. 1997 606 $aCeramica fenicia$xSardegna$xCongressi$3UONC028865$2FI 606 $aCERAMICA FENICIO-PUNICA$xSardegna$3UONC014545$2FI 620 $aIT$dRoma$3UONL000004 676 $a738.2$cPorcellana$v21 686 $aFP X C$cFENICIO-PUNICO - ARCHEOLOGIA - SITI, MONOGRAFIE$2A 702 1$aBARTOLONI$bPiero$3UONV010999 702 1$aCAMPANELLA$bLorenza$3UONV027353 712 02$aIstituto per la Civiltà Fenicia e Punica$3UONV001300 712 $aCNR$3UONV248192$4650 712 $aIstituto per la Civiltà Fenicia e Punica$3UONV251666$4650 801 $aIT$bSOL$c20250411$gRICA 912 $aUON00049701 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FP X C 014 $eSI SA 93412 7 014 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI K 370 $eSI MC 23245 5 ISTITUTO PER LA CIVILTA' FENICIA E PUNICA "SABATINO MOSCATI" 996 $aCeramica fenicia di Sardegna$91147177 997 $aUNIOR