On the propositional algorithmic theory of arithmetic.

Grazyna Mirkowska

Published in: Logic of Programs (1980)

Keyphrases

theoretical framework
theoretical basis
neural network
first order logic
default logic
deductive reasoning
data sets
learning algorithm
decision trees
relational databases
computational model
information theory
propositional logic
general theory
sound theoretical