Automatic Proofs in Mathematical Logic and Analysis.

Published in: CADE (1992)

Keyphrases

structural analysis
databases
case study
e learning
quantitative analysis
computer algebra
real time
deontic logic
automated reasoning
automatic analysis
fully automatic
logic programming
image analysis
image processing
information systems
computer vision
artificial intelligence