こちらに共通ヘッダが追加されます。

このページのリンク

Logic, algebra, and computation / edited by Friedrich L. Bauer
(NATO ASI series ; ser. F . Computer and system sciences ; v. 79)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ 485 p. ; 25 cm

所蔵情報を非表示

理工学部 情報系
007.64||B241 932019746


書誌詳細を非表示

書誌ID BB00167287
本文言語 英語,フランス語
一般注記 "International summer school directed by F.L. Bauer ... [et al.]"
"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989"--T.p. verso
著者標目  Bauer, Friedrich Ludwig, 1924-
 *NATO Advanced Study Institute on Logic, Algebra, and Computation (1989 : Marktoberdorf, Germany)
件 名 LCSH:Logic programming -- Congresses  全ての件名で検索
LCSH:Algebra -- Congresses  全ての件名で検索
LCSH:Computational complexity -- Congresses  全ての件名で検索
分 類 LCC:QA76.63
DC20:005.1
巻冊次 : Berlin ; ISBN:3540543155 RefWorks出力(各巻)
: New York ; ISBN:0387543155 RefWorks出力(各巻)
NCID BA13332801
目次・あらすじ

 類似資料