<図書>

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)

(Lecture notes in computer science;385)

所蔵情報を非表示

1

本郷キャンパス

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

5101/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ vi, 399 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *Workshop on Computer Science Logic (2nd : 1988 : Duisburg, Germany)
Börger, Egon, 1946-
Richter, Michael M., 1938-
Kleine Büning, Hans, 1948-
件 名 LCSH:Computer science -- Mathematics
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA76.9.M35
DC20:004/.01/5113
本文言語 英語
書誌ID 2000115830
ISBN 354051659X
NCID BA07365679 WCLINK

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