|
|
|
|
| LEADER |
01285nam a2200277 a 4500 |
| 001 |
836445 |
| 005 |
20171111231244.0 |
| 008 |
090518s2008 gr r 000 0 eng d |
| 020 |
|
|
|a 9789608928244
|
| 040 |
|
|
|a EAP
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 21
|a 006.3
|
| 245 |
0 |
0 |
|a Proceedings of the fifth international workshop on model checking and artificial intelligence :
|b 21 July 2008- Patras, Greece /
|c edited by Doron Peled and Michael Wooldridge ; [University of Patras]
|
| 246 |
1 |
4 |
|a Model checking and artificial intelligence
|
| 260 |
|
|
|a [Patras]:
|b [University of Patras],
|c [2008]
|
| 300 |
|
|
|a [121] σ. :
|b εικ., πίν. ;
|c 29 εκ.
|
| 490 |
0 |
|
|a Workshop proceedings / University of Patras
|
| 500 |
|
|
|a Περιλαμβάνει βιβλιογραφικές αναφορές.
|
| 650 |
1 |
0 |
|a Artificial intelligence
|
| 650 |
1 |
0 |
|a Artificial intelligence
|x Congresses
|
| 650 |
|
7 |
|a Τεχνητή νοημοσύνη - Εφαρμογές
|x ΠΛΗ 31
|
| 700 |
1 |
|
|a Peled, Doron
|
| 700 |
1 |
|
|a Wooldridge, Michael
|
| 710 |
|
|
|a Πανεπιστήμιο Πατρών
|
| 710 |
0 |
|
|a Model Checking and Artificial Intelligence
|c Patras, Greece )
|d 21 July, 2008 :
|
| 710 |
0 |
|
|a Πανεπιστήμιο Πατρών
|
| 952 |
|
|
|a GR-PaHOU
|b 59cc78f56c5ad13446fc1ae6
|c 998a
|d 945l
|e 006.3 PRO
|t 2
|x m
|z Books
|
