関西学院大学図書館

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, c1990. -- (Lecture notes in computer science ; 425). <BY00248278>
このページのURL:

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

No. 巻号 配架場所 請求記号 資料ID 状態 返却予定日 予約
0001 : gw 上ケ原館外書庫図書 510.78:265:425 0000395178 0件
No. 0001
巻号 : gw
配架場所 上ケ原館外書庫図書
請求記号 510.78:265:425
資料ID 0000395178
状態
返却予定日
予約 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
シリーズ名等 Lecture notes in computer science <BY02000012> 425//a
巻号情報
巻次等 : gw
ISBN 3540972889
巻号情報
巻次等 : us
ISBN 0387972889
その他の標題 親書誌タイトル(雑誌書誌レコード):Proceedings
注記 Includes bibliographical references
NCID BA1052263X
本文言語 英語
著者標目 Bergman, Clifford H., 1953- <AU00229113>
著者標目 Maddux, Roger D., 1948- <AU00229114>
著者標目 Pigozzi, Don <AU00449306>
著者標目 *Algebraic Logic and Universal Algebra in Computer Science Conference <AU00229116> (1988 : Ames, Iowa)
分類標目 LCC:QA10
分類標目 DC20:512
件名標目等 Algebraic logic -- Congresses
件名標目等 Algebra, Universal -- Congresses