Temporal logic : mathematical foundations and computational aspects, v. 1

Temporal logic : mathematical foundations and computational aspects, v. 1

Dov M. Gabbay, Ian Hodkinson and Mark Reynolds

Oxford : Clarendon Press

New York ; Tokyo : Oxford University Press, 1994-

図書等

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

v. 1
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.96-G11-1

10094302972

一般図書

2

410.96-G11-1

10094302973

一般図書

詳細情報

刊年

1994

形態

v. : ill. ; 24 cm

シリーズ名

Oxford logic guides ; 28, 40

注記

Includes bibliographical references and indexes

Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Gabbay, Dov M., 1945- [ Gabbay, D. (Dov), 1945- ] [ Gabbay, D. M. (Dov M.), 1945- ]

Hodkinson, Ian

Reynolds, Mark (Mark A.) [ Reynolds, Mark ]

Finger, Marcelo

分類

LCC:QA76.6

DC20:511.3

件名

Electronic digital computers -- Programming

Logic, Symbolic and mathematical

ISBN

0198537697 (v. 1)

NCID

BA23281751

番号

LCCN : 94019153