Número de Cutter-SanbornC597lEntrada «Clarke» → 597 · marca de obra “l”

Logic for Programming, Artificial Intelligence, and Reasoning

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

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Autor	Edmund M. Clarke, Andrei Voronkov
Editorial	Springer
Fecha de publicación	2010
Idioma	inglés
ISBN-13	9783642175114
Número de Cutter	`C597l`

Logic for Programming, Artificial Intelligence, and Reasoning (2010) — ISBN 9783642175114 | Cutter Number