A Thread of HOL Development.

Michael Norrish Konrad Slind

Published in: Comput. J. (2002)

Keyphrases

decision support
rapid prototyping
development environment
real time
neural network
computer vision
data structure
information technology
software engineering
practical application
theorem prover