豊田工業高等専門学校

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings

C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.) ; : gw, : us. -- Springer-Verlag, 1990. -- (Lecture notes in computer science ; 425). <BB00797451>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 : gw 豊田高専 書庫1F 007.08||L 0060474 0件
No. 0001
巻号 : gw
所蔵館 豊田高専
配置場所 書庫1F
請求記号 007.08||L
資料ID 0060474
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer-Verlag , c1990
形態事項 xi, 292 p. : ill. ; 25 cm
巻号情報
巻次等 : gw
ISBN 3540972889
巻号情報
巻次等 : us
ISBN 0387972889
書誌構造リンク Lecture notes in computer science <BB00069617> 425//a
その他の標題 親書誌タイトル(雑誌書誌レコード):Proceedings
注記 Includes bibliographical references
学情ID BA1052263X
本文言語コード 英語
著者標目リンク Bergman, Clifford H., 1953- <NC:DA04481749>
著者標目リンク Maddux, Roger D., 1948- <NC:DA0448175X>
著者標目リンク Pigozzi, Don, 1935- <NC:DA04481771>
著者標目リンク *Algebraic Logic and Universal Algebra in Computer Science Conference <NC:DA04491243> (1988 : Ames, Iowa)
分類標目 LCC:QA10
分類標目 DC20:512
件名標目等 Algebraic logic -- Congresses
件名標目等 Algebra, Universal -- Congresses