The principles of the theory of the unification of sciences.

Published in: Notre Dame J. Formal Log. (1969)

Keyphrases

theoretical framework
real time
higher order
computational model
theorem prover
general theory
databases
computer vision
computer science
theoretical foundation
equational theories
data mining
search engine
design principles
formal theory
fundamental principles