02440nlm0 22006491i 450 9900092593604033219783642004315000925936FED01000925936(Aleph)000925936FED0100092593620100926d2009----km-y0itay50------baengDEdrnn-008mamaaModel Checking and Artificial IntelligenceRisorsa elettronica5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papersedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. WooldridgeBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435348Documento elettronicoTestoFormato html, pdfGoebel,RandyHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Peled,Doron A.Siekmann,JörgSteffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Wahlster,WolfgangWeikum,GerhardWooldridge,Michael J.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00431-5EB990009259360403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringSoftware EngineeringModel Checking and Artificial Intelligence772652UNINA01423nas 2200481-- 450 991013357730332120241223110053.0(DE-599)ZDB2177119-4(CKB)110978977277746(CONSER)---75015429-(MiFhGG)3GJP(EXLCZ)9911097897727774620740227a19689999 --- aengtxtrdacontentcrdamediacrrdacarrierThe D.H. Lawrence review[Geneseo, N.Y.][publisher not identified]1 online resourceRefereed/Peer-reviewedPrint version: The D.H. Lawrence review. 0011-4936 (DLC) 75015429 (OCoLC)697956937 David Herbert Lawrence reviewDHLRDH LAWRENCE REVIEWD H LAWRENCE REVIEWD H LAWRENCE REVDD.H. LAWRENCE REVIEWD.H. Lawrence rev.18.05 English literature(NL-LeOCL)077611977bclSchrijversgttPeriodicals.aatPeriodicals.fastPeriodicals.lcgft18.05 English literature.Schrijvers.823/.9/12JOURNAL9910133577303321exl_impl conversionD.H. LAWRENCE REVIEW1324211UNINA