Proof and computation

edited by Helmut Schwichtenberg

この本の情報

書名 Proof and computation
著作者等 NATO Advanced Study Institute on Proof and Computation
Schwichtenberg, Helmut
シリーズ名 NATO ASI series
出版元 Springer-Verlag
刊行年月 1995
ページ数 470 p.
大きさ 25 cm
ISBN 3540585818
NCID BA2521550X
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想