9 search results - page 1 / 2 » jar 2002 |
JAR
2002
15 years 2 months ago
2002
JAR
2002
15 years 2 months ago
2002
110
click to vote
JAR
2002
15 years 2 months ago
2002
The results of the IJCAR ATP System Competition are presented.
JAR
2002
15 years 2 months ago
2002
133
click to vote
JAR
2002
15 years 2 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...