Logic Programming and Automated Reasoning (LPAR)
Book title Buchtitel
Logic Programming and Automated Reasoning (LPAR)
Publisher Herausgeber
EasyChair EPiC Series in Computing
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Philipp, Tobias ; Rebola Pardo, Adrian | Towards a Semantics of Unsatisfiability Proofs with Inprocessing | Konferenzbeitrag Inproceedings | 2017 |