Model Checking and Artificial Intelligence
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Stefan Edelkamp
Themen in »Model Checking and Artificial Intelligence«
European Conference on Artificial Intelligence Multi-agent system artificial intelligence heuristics intelligence model checking real-time verification
Stimmen zu »Model Checking and Artificial Intelligence«
Details
ISBN: 9783540741282
Verlag: Springer Berlin
Erscheinung: 28.08.2007