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
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Kovacs, Laura ; Voronkov, Andrei First-Order Interpolation and Interpolating Proof SystemsKonferenzbeitrag Inproceedings 2017