Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus.

Published in: Logica Universalis (2022)

Keyphrases

real world
real time
artificial neural networks
neural network
data mining
information retrieval
decision making
image segmentation
viewpoint
control system