LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Book title Buchtitel
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Publisher Herausgeber
EasyChair EPiC Series in Computing
Place of publishing Erscheinungsort
Volume 46
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Voronkov, Andrei | First-Order Interpolation and Interpolating Proof Systems | Konferenzbeitrag Inproceedings  | 2017 |