Gödel on Deduction.

Kosta Dosen Milos Adzic

Published in: Stud Logica (2019)

Keyphrases

inference rules
theorem proving
social bookmarking
theorem prover
learning algorithm
computer algebra
decision trees
image sequences
feature extraction
support vector
automated deduction