Preface: Selected Extended Papers from Interactive Theorem Proving 2018.

Jeremy Avigad Assia Mahboubi

Published in: J. Autom. Reason. (2020)

Keyphrases

interactive theorem proving
special issue
special section
carefully selected
machine learning
decision trees
multiscale
information systems
decision making
computational intelligence
recent progress
invited paper
international journal
papers published
information retrieval and extraction