Model checking and artificial intelligence /

• Corporate Author: European Conference on Artificial Intelligence Patras, Greece
• Other Authors: Peled, Doron A., 1962- (επιμελητής), Wooldridge, Mike (επιμελητής)
• Format: Conference Proceeding Book
• Language: English; Greek
• Published: Patras : University of Patras, 2008
• Series: Workshop proceedings / University of Patras
• Subjects: Τεχνητή νοημοσύνη
• Physical Description: [126] σ. ; 30 εκ.
• Bibliography: Περιέχει βιβλιογραφικές παραπομπές
• ISBN: 9789608928244