図書

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh. (Lecture notes in computer science)

図書を表すアイコン

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.

(Lecture notes in computer science)

国立国会図書館請求記号
M15-A1875
国立国会図書館書誌ID
000003125283
資料種別
図書
著者
Parikh, Rohit, 1936-
出版者
Springer-Verlag
出版年
c1985.
資料形態
ページ数・大きさ等
vi, 424 p. ; 25 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Papers presented at a conference held at Brooklyn College June 17-19, 1985.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
0387156488 (U.S. : pbk.)
シリーズタイトル
出版年月日等
c1985.
出版年(W3CDTF)
1985
数量
vi, 424 p. ; 25 cm.
出版地(国名コード)
DE