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
온라인으로 읽기
로의 변환이 실행 중입니다
로의 변환이 실패되었습니다

주로 사용되는 용어