Número de Cutter-SanbornG211lEntrada «Gant» → 211 · marca de obra “l”

Logic Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
ISBN: 9783540482420

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Autor	Harald Ganzinger, David McAllester, Andrei Voronkov
Editorial	Springer
Fecha de publicación	2007
Idioma	inglés
ISBN-13	9783540482420
Número de Cutter	`G211l`

Logic Programming and Automated Reasoning (2007) — ISBN 9783540482420 | Cutter Number