On the Unification of Persistent Programming and the World Wide Web.

Richard Connor Keith Sibson Paolo Manghi

Published in: WebDB (1998)

Keyphrases

programming language
theorem proving
high level
higher order
information retrieval
programming environment
equational theories
neural network
computer vision
pairwise
general purpose
theorem prover
computer programming
hands on guide
knuth bendix