Workshop: The Role of Automated Deduction in Mathematics.

Simon Colton Volker Sorge Ursula Martin

Published in: CADE (2000)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
artificial intelligence
computer science
deductive databases
inference rules
selected papers
data sets
neural network
case study
logic programs
access control
first order logic
computer algebra