Terms, Proofs, and Refinement (Extended abstract)

Rod M. Burstall

Published in: LICS (1994)

Keyphrases

extended abstract
neural network
web services
knowledge representation
real time
data sets
search engine
database systems
digital libraries
information technology