Selected papers on automath

Selected papers on automath

Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.)
この本はいかがでしたか?
ファイルの質はいかがですか?
質を評価するには、本をダウンロードしてください。
ダウンロードしたファイルの質はいかがでしたか?
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.  Read more...
カテゴリー:
年:
1994
出版社:
Elsevier
言語:
english
ページ:
1045
ISBN 10:
0444898220
ISBN 13:
9780444898227
シリーズ:
Studies in Logic and the Foundations of Mathematics 133
ファイル:
DJVU, 5.76 MB
IPFS:
CID , CID Blake2b
english, 1994
オンラインで読む
への変換進行中。
への変換が失敗しました。

主要なフレーズ