Frege's Proof of Referentiality.

Øystein Linnebo

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

Keyphrases

theorem proving
linear logic
mathematical proofs
data sets
theorem prover
geometry theorem proving
social networks
e learning
decision trees
three dimensional
similarity measure
bayesian networks
information technology
automated theorem proving