A Skeptic's Approach to Combining HOL and Maple.

John Harrison Laurent Théry

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

Keyphrases

high quality
theorem prover
databases
formal methods
real world
artificial intelligence
web pages
metadata
three dimensional
data analysis
hidden markov models
software engineering