Login / Signup
Proof, Message and Certificate.
Andrea Asperti
Published in:
AISC/MKM/Calculemus (2012)
Keyphrases
</>
email
data mining
artificial intelligence
evolutionary algorithm
natural deduction
geometry theorem proving
data sets
machine learning
computer vision
data structure
theorem prover
theorem proving
program chairs
proof planning
message delivery
interactive theorem proving