Suchfeld einblenden
Person Edelkamp, Stefan
1 Treffer
Seite < 1 >
Model checking and artificial intelligence
: 4th workshop ; revised selected and invited papers / MoChArt IV, Riva del Garda, Italy, August 29, 2006. Stefan Edelkamp ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4428 : Lecture notes in artificial intelligence)
ISBN 978-3-540-74128-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
