Login / Signup
The Metatheorist: Automatic Proofs of Theorems in Analysis Using Non-Standard Techniques, Part II.
A. Michael Ballantyne
Published in:
Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Keyphrases
</>
statistical analysis
pattern recognition
quantitative analysis
knowledge base
image segmentation
data analysis
case study
image analysis
fully automatic