Caricamento...
Model checking and artificial intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008: revised selected and invited papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 rev...
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Livro |
| Lingua: | Inglês |
| Pubblicazione: |
Springer,
2009.
|
| Serie: | Lecture notes in computer science |
| Soggetti: | |
| Accesso online: | https://minerva.ufrj.br/F/?func=direct&doc_number=000903497&local_base=UFR01 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|