Time and logic : a computational approach /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
London :
UCL Press,
1995.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00794nam a22002535a 4500 | ||
|---|---|---|---|
| 001 | DCC.dcic000085 | ||
| 008 | 940429s1995####enka#####b####001#0#eng## | ||
| 005 | 20151123115507.0 | ||
| 245 | 0 | 0 | |a Time and logic : |b a computational approach / |c edited by Leonard Bolc & Andrzej Szalas. |
| 260 | |a London : |b UCL Press, |c 1995. | ||
| 300 | |a viii, 325 p. : |b ill. ; |c 24 cm. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 020 | |z 1852782337 (hb) | ||
| 700 | 1 | |a Bolc, Leonard, |d 1934- | |
| 700 | 1 | |a Szalas, Andrzej, |d 1958- | |
| 246 | 1 | 4 | |a Time & logic |
| 082 | 0 | 0 | |a 005.1/01/5113 |2 20 |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Time. | |
| 035 | |9 (DLC) 94020061 | ||
| 010 | |a 94020061 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 050 | 0 | 0 | |a QA76.63 |b .T56 1995 |
| 859 | |a DCIC |b BIB. COMPUTACION |p 0133 | ||