Preface for the special issue of Proof, Structure, and Computation 2014.

Dirk Pattinson Peter Schuster Ana Sokolova

Published in: J. Log. Comput. (2019)

Keyphrases

special issue
international journal
ai edam
ecml pkdd
applied intelligence
structural information
multimedia
case study
artificial intelligence
information systems
computer aided
theorem prover
theorem proving
international workshop