このページのリンク

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
(Lecture notes in computer science ; 363)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
本文言語 英語
大きさ x, 289 p. : ill. ; 25 cm

所蔵情報を非表示

書庫2階 QA:75.5:B67:1989

890202072

書誌詳細を非表示

著者標目 *Botik '89 (1989 : Pereslavl-Zalessky, USSR)
Meyer, Albert R.
Taitslin, M. A. (Michael A.)
件 名 LCSH:Computers -- Congresses  全ての件名で検索
LCSH:Electronic data processing -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA75.5
DC20:004/.01/5113
巻冊次 : gw ; ISBN:3540512373 REFWLINK
: us ; ISBN:0387512373 REFWLINK
ISBN 3540512373
NCID BA06995139 WCLINK
目次/あらすじ

 類似資料