| 000 | 00869camuu2200277 a 4500 | |
| 001 | 000000801281 | |
| 005 | 20030106103453 | |
| 008 | 940429s1995 enka b 001 0 eng | |
| 010 | ▼a 94020061 | |
| 020 | ▼z 1852782337 (hb) | |
| 020 | ▼a 1857282337 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM ▼d 211009 | |
| 049 | ▼a KUBA ▼l 111233104 | |
| 050 | 0 0 | ▼a QA76.63 ▼b .T56 1995 |
| 082 | 0 0 | ▼a 005.1/01/5113 ▼2 21 |
| 090 | ▼a 005.101 ▼b T583 | |
| 245 | 0 0 | ▼a Time and logic : ▼b a computational approach / ▼c edited by Leonard Bolc Andrzej Szalas. |
| 246 | 1 4 | ▼a Time logic |
| 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. | |
| 650 | 0 | ▼a Logic programming. |
| 650 | 0 | ▼a Time. |
| 700 | 1 | ▼a Bolc, Leonard , ▼d 1934- |
| 700 | 1 | ▼a Szalas, Andrzej , ▼d 1958- |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/Western Books/ | Call Number 005.101 T583 | Accession No. 111233104 | Availability Available | Due Date | Make a Reservation | Service |