HOME > Detail View

Detail View

Time and logic : a computational approach

Time and logic : a computational approach (Loan 3 times)

Material type
단행본
Personal Author
Bolc, Leonard , 1934- Szalas, Andrzej , 1958-
Title Statement
Time and logic : a computational approach / edited by Leonard Bolc Andrzej Szalas.
Publication, Distribution, etc
London :   UCL Press,   1995.  
Physical Medium
viii, 325 p. : ill. ; 24 cm.
ISBN
1857282337
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Logic programming. Time.
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 B M

New Arrivals Books in Related Fields