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:
Subject:  theorem proving

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

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