Número de Cutter-SanbornD438lEntrada «Derr» → 438 · marca de obra “l”

Logic for Programming, Artificial Intelligence, and Reasoning

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

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Autor	Nachum Dershowitz, Andrei Voronkov
Editorial	Springer London, Limited
Fecha de publicación	2007
Idioma	inglés
ISBN-13	9783540755609
Número de Cutter	`D438l`

Logic for Programming, Artificial Intelligence, and Reasoning (2007) — ISBN 9783540755609 | Cutter Number