Login / Signup
MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool.
Jeremy V. Pitt
Published in:
TABLEAUX (1995)
Keyphrases
</>
computer aided
software tools
test bed
neural network
semi automated
high level
database systems
theorem prover
automated theorem provers
databases
analysis tool
software engineering
evolutionary algorithm
data analysis
image processing
computer vision
artificial intelligence