このページのリンク

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 proceedings / A. Nerode, Yu.V. Matiyasevich, eds.
(Lecture notes in computer science. ; 813)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版年 c1994.
大きさ ix, 392 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.813 ASRS 007.6/L507/v.813 04536577
0387581405

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Nerode, Anil,(1932-)
International Symposium LFCS'94(1994)
Matiiasevich, IU. V.
件 名 Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000189740
ISBN 0387581405
NCID BA22708872 WCLINK
URL1 Publisher HP

 類似資料