Número de Cutter-SanbornD263lEntrada «Davis, M.» → 263 · marca de obra “l”

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783662488997

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Editorial
Autor	Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning (2015) — ISBN 9783662488997 | Cutter Number