Número de Cutter-SanbornN682lEntrada «Nieuw» → 682 · marca de obra “l”

Logic for Programming, Artificial Intelligence, and Reasoning

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

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Autor	Robert Nieuwenhuis, Andrei Voronkov
Editorial	Springer
Fecha de publicación	2003
Idioma	inglés
ISBN-13	9783540456537
Número de Cutter	`N682l`

Logic for Programming, Artificial Intelligence, and Reasoning (2003) — ISBN 9783540456537 | Cutter Number