Tests and Proofs - Preface of the Special Issue.

Bernhard Beckert Reiner Hähnle

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

Keyphrases

special issue
ai edam
international journal
applied intelligence
ecml pkdd
special section
theorem prover
international workshop
decision making
theorem proving
information systems
future directions
mathematical proofs
information retrieval and extraction