Número de Cutter-SanbornE22mEntrada «Ede» → 22 · marca de obra “m”

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
ISBN: 9783540741282

4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Autor	Stefan Edelkamp, Alessio Lomuscio
Editorial	Springer London, Limited
Fecha de publicación	2007
Idioma	inglés
ISBN-13	9783540741282
Número de Cutter	`E22m`

Model Checking and Artificial Intelligence (2007) — ISBN 9783540741282 | Cutter Number