OPAC

検索結果一覧に戻る

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

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

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:75.5:L64:1994			001554870				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

一般注記	Includes bibliographical references
著者標目	*International Symposium on Logical Foundations of Computer Science (3rd : 1994 : St. Petersburg, Russia) Nerode, Anil, 1932- Matiyasevich, Yu. V.
件　名	LCSH:Computers -- Congresses 全ての件名で検索 LCSH:Electronic data processing -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA75.5 DC20:004
巻冊次	: us ; ISBN:0387581405 ; XISBN:0387581406 : gw ; ISBN:3540581405 ; XISBN:3540581406
ISBN	0387581405
NCID	BA22708872

目次／あらすじ