|
|
|
|
| LEADER |
00960nam a2200265 a 4500 |
| 001 |
745634 |
| 005 |
20171111231120.0 |
| 008 |
961112s1995 e r 000 0 eng d |
| 020 |
|
|
|a 0792335864
|q Χαρτόδετο
|
| 040 |
|
|
|a GR-KeIUL
|b gre
|e AACR2 2nd rev. ed.
|
| 082 |
|
0 |
|2 20
|a 160
|
| 100 |
1 |
|
|a OHRSTROM, Peter
|
| 245 |
1 |
0 |
|a Temporal logic:
|b from ancient ideas to artificial intelligence/
|c by Peter Ohrstrom and Per F. V. Hasle
|
| 260 |
|
|
|a Dordrecht ; Boston ; London:
|b Kluwer,
|c c.1995
|
| 300 |
|
|
|a viii, 413 p. ;
|c 23 cm
|
| 490 |
0 |
|
|a Studies in Linguistics and Philosophy
|v 57
|
| 500 |
|
|
|a ΤΞΓ
|
| 504 |
|
|
|a Περιέχει ευρετήριο
|
| 650 |
1 |
0 |
|a Χρόνος
|
| 650 |
1 |
0 |
|a Λογική, Συμβολική και μαθηματική
|
| 650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
1 |
0 |
|a Time
|
| 700 |
1 |
|
|a HASLE, Per F.V.
|
| 700 |
1 |
|
|a HASLE, Per F.V
|
| 952 |
|
|
|a GR-KeIUL
|b 59cc27a86c5ad13446f99f89
|c 998a
|d 945l
|e 160 OHR
|t 1
|x m
|z Books
|
