このページのリンク

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
(Lecture notes in computer science ; 620)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 c1992
本文言語 英語
大きさ ix, 514 p. : ill. ; 25 cm

所蔵情報を非表示

書庫2階 QA:75.5:L64:1992

000894306

書誌詳細を非表示

一般注記 Includes bibliographical references
著者標目 *International Symposium on Logical Foundations of Computer Science (2nd : 1992 : Tver, Russia)
Nerode, Anil, 1932-
Taitslin, M. A. (Mikhail A.), 1936-
件 名 LCSH:Computers -- Congresses  全ての件名で検索
LCSH:Electronic data processing -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA75.5
DC20:004
巻冊次 : Berlin ; ISBN:3540557075 REFWLINK
: New York ; ISBN:0387557075 REFWLINK
ISBN 3540557075
NCID BA17203458 WCLINK
目次/あらすじ

 類似資料