Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science Book 9450)

Authors: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

0.00 of 0

Click the button below to register a free account and download the file

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.

Web Analytics Made Easy - Statcounter