Author books / Книги автора Stefan Edelkamp Alessio Lomuscio » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Stefan Edelkamp Alessio Lomuscio

book Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

pdf

Author: Stefan Edelkamp Alessio Lomuscio
Language: English
Year: 2007

00

27.01.2024

0

0

book Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

pdf

Author: Piergiorgio Bertoli Marco Bozzano (auth.) Stefan Edelkamp Alessio Lomuscio (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0