| NCID | BA24690654 |
| タイトル | Time and logic : a computational approach / edited by Leonard Bolc & Andrzej Szałas |
| 出版者 | London : UCL Press , 1995 |
| 形態 | viii, 325 p. ; 25 cm |
| 分類 | LCC:QA76.63
DC20:005.1/01/5113 |
| 件名 | LCSH:Time
LCSH:Logicprogramming
|
| 著者情報 | Bolc, Leonard, 1934-
Szałas, Andrzej <>
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 1857282337
|
| 番号 | LCCN : 94020061 |