Ancestral Logic: A Proof Theoretical Study.

Liron Cohen Arnon Avron

Published in: WoLLIC (2014)

Keyphrases

empirical findings
information systems
empirical studies
theoretical analysis
machine learning
closely related
factors affecting
computational properties