SHD-Prover at University of Texas at Austin.

Published in: CADE (1986)

Keyphrases

theorem proving
case study
e learning
theorem prover
computer vision
database systems
state university
social networks
bayesian networks
multiscale
digital libraries
engineering education
stanford university
san francisco
united nations