Model Checking and Artificial Intelligence
- 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 414,95
Medlemspris
kr. 389,95
- Du sparer kr. 25,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 09-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
Detaljer
- SprogEngelsk
- Sidetal185
- Udgivelsesdato09-08-2007
- ISBN139783540741275
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Model Checking and Artificial Intelligence
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Model Checking and Artificial Intelligence
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Model Checking and Artificial Intelligence
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Virksomhedssoftware
- Model Checking and Artificial Intelligence