HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2023 easychair.org. All rights reserved.