<図書>

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.)

(Lecture notes in computer science;425)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 :gw 39:L:1.425 2012300030

5464/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ xi, 292 p. : ill. ; 25 cm
別書名 親書誌タイトル:Proceedings
一般注記 Includes bibliographical references
著者標目 Bergman, Clifford H., 1953-
Maddux, Roger D., 1948-
Pigozzi, Don, 1935-
*Algebraic Logic and Universal Algebra in Computer Science Conference (1988 : Ames, Iowa)
件 名 LCSH:Algebraic logic -- Congresses
LCSH:Algebra, Universal -- Congresses
分 類 LCC:QA10
DC20:512
本文言語 英語
書誌ID 2000155955
ISBN 3540972889
NCID BA1052263X WCLINK

検索結果一覧に戻る ページトップ