Investigations into the sentential calculus with identity.

Stephen L. Bloom Roman Suszko

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

Keyphrases

identity management
real world
data sets
neural network
decision trees
provably correct
computer algebra
real time
database systems
video sequences
search algorithm
sentence level
digital forensics
proof procedure