Model checking and artificial intelligence /

• Συγγραφή απο Οργανισμό/Αρχή: European Conference on Artificial Intelligence Patras, Greece
• Άλλοι συγγραφείς: Peled, Doron A., 1962- (επιμελητής), Wooldridge, Mike (επιμελητής)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English; Greek
• Έκδοση: Patras : University of Patras, 2008
• Σειρά: Workshop proceedings / University of Patras
• Θέματα: Τεχνητή νοημοσύνη