ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Book title Buchtitel
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Publisher Herausgeber
EasyChair EPiC Series in Computing
Place of publishing Erscheinungsort
Volume 51
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin | Checkable Proofs for First-Order Theorem Proving | Konferenzbeitrag Inproceedings  | 2017 |