Interactive Theorem Proving - Preface of the Special Issue.

Gerwin Klein Ruben Gamboa

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

Keyphrases

special issue
interactive theorem proving
international journal
international workshop
ecml pkdd
ai edam
special section
applied intelligence
databases
neural network
artificial intelligence
case study
ambient intelligence