Structured Theory Presentations and Logic Representations.

Robert Harper Donald Sannella Andrzej Tarlecki

Published in: Ann. Pure Appl. Log. (1994)

Keyphrases

formal theory
proof theory
set theory
probability theory
general theory
deductive reasoning
computer algebra
boolean algebra
logical framework
model theoretic
mathematical theory
database
logic programming
relational databases
multimedia
information systems
real world
neural network
data sets