ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

View Statistics Email Alert RSS Feed

Book details Buch-Details

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
 

Publications Publikationen


Filter:
Author:  Reger, Giles
Subject:  proof checking

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reger, Giles ; Suda, Martin Checkable Proofs for First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2017