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
Θέματα:
LEADER 01202nam a2200289 u 4500
001 10013687
003 upatras
005 20210909135728.0
008 881025s2008 gr 1 eng
020 |a 9789608928244 
040 |a GR-PaULI  |c GR-PaULI  |b gre 
041 0 |a gre 
082 0 4 |a  006.3 
111 |9 155611  |a European Conference on Artificial Intelligence  |c Patras, Greece)  |d 2008 : 
245 1 0 |a  Model checking and artificial intelligence /  |c  edited by Doron Peled, Mike Wooldridge 
260 |a Patras :  |b University of Patras,  |c 2008 
300 |a [126] σ. ;  |c 30 εκ. 
490 |a Workshop proceedings / University of Patras 
504 |a Περιέχει βιβλιογραφικές παραπομπές  
650 0 |9 84642  |a Τεχνητή νοημοσύνη 
700 |a Peled, Doron A.,  |d 1962-  |e επιμελητής  |9 99907 
700 |a Wooldridge, Mike  |9 155633  |e επιμελητής 
760 0 |a Παιδαγωγική σειρά 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 006_300000000000000_EUR  |7 0  |9 203944  |a LISP  |b LISP  |c BSC  |d 2016-06-24  |i 097711  |l 0  |o 006.3 EUR  |p 025000167810  |r 2016-06-24 00:00:00  |t 1  |w 2016-06-24  |y BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2016-06 
999 |c 98006  |d 98006