|
|
|
|
| LEADER |
01022nam a2200289 a 4500 |
| 001 |
1403061 |
| 005 |
20171111233407.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 |
|a 160
|
| 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 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
|
0 |
|a Time
|
| 650 |
|
0 |
|a Tense (Logic)
|
| 700 |
1 |
|
|a HASLE, Per F.V.
|
| 700 |
1 |
|
|a HASLE, Per F.V
|
| 952 |
|
|
|a GrAtEKP
|b 59cd250d6c5ad1344610b3f9
|c 998a
|d 945l
|e 160 OhrP t 1995
|t 1
|x m
|z Books
|
