Author books / Книги автора Martin Davis Ansgar Fehnker Annabelle McIver Andrei Voronkov (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Martin Davis Ansgar Fehnker Annabelle McIver Andrei Voronkov (eds.)

book Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

pdf

Author: Martin Davis Ansgar Fehnker Annabelle McIver Andrei Voronkov (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0