Proof interpretations with truth.

Jaime Gaspar Paulo Oliva

Published in: Math. Log. Q. (2010)

Keyphrases

theorem proving
mathematical proofs
three dimensional
theorem prover
logical rules
real time
neural network
real world
machine learning
artificial intelligence
social networks
e learning
lower bound
data model
knowledge representation
proof search