Número de Cutter-SanbornC419lEntrada «Cerv» → 419 · marca de obra “l”

Logic for Programming, Artificial Intelligence, and Reasoning

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

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Autor	Iliano Cervesato, Helmut Veith, Andrei Voronkov
Editorial	Springer
Fecha de publicación	2008
Idioma	inglés
ISBN-13	9783540894391
Número de Cutter	`C419l`

Logic for Programming, Artificial Intelligence, and Reasoning (2008) — ISBN 9783540894391 | Cutter Number