|
|
Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
| LDR | ·····pam##22·····#a#4500 |
| 001 | 000568 |
| 005 | 20151124135032.0 |
| 008 | 950517s1995####ne#a#####b####001#0#eng## |
| 245 | 10 | $a Temporal logic : $b from ancient ideas to artificial intelligence / $c by Peter Øhrstrøm and Per F.V. Hasle. |
| 260 | ## | $a Dordrecht ; $a Boston : $b Kluwer Academic Publishers, $c c1995. |
| 300 | ## | $a viii, 413 p. : $b il. ; $c 23 cm. |
| 440 | #0 | $a Studies in linguistics and philosophy ; $v v. 57 |
| 504 | ## | $a Incluye referencias bibliográficas (p. 386-404) e índice. |
| 020 | ## | $a 0792335864 (hb : alk. paper) |
| 100 | 1# | $a Øhrstrøm, Peter. |
| 700 | 1# | $a Hasle, Per F. V. |
| 082 | 00 | $a 160 $2 20 |
| 650 | #0 | $a Tense (Logic) |
| 650 | #0 | $a Logic, Symbolic and mathematical. |
| 650 | #0 | $a Time. |
| 010 | ## | $a ###95022191# |
| 040 | ## | $a DLC $c DLC $d DLC |
| 050 | 00 | $a BC199.T4 $b O37 1995 |