Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Kensho Tsurusaki
Publications
Assimilating the Structure of Formal and Informal Proof
Kensho Tsurusaki
and
Akiko Aizawa
EasyChair Preprint no. 6267
Keyphrases
formal proof
,
informal proof
,
natural language
,
structure
.
Copyright © 2012-2021 easychair.org. All rights reserved.
