Número de Cutter-SanbornP523aEntrada «Pf» → 523 · marca de obra “a”

Automated Practical Reasoning

Name: Automated Practical Reasoning
ISBN: 9783709166048

Algebraic Approaches

Autor	Jochen Pfalzgraf, J. Cunningham, Dongming Wang
Editorial	Springer
Fecha de publicación	2012
Idioma	inglés
ISBN-13	9783709166048
Número de Cutter	`P523a`

Automated Practical Reasoning (2012) — ISBN 9783709166048 | Cutter Number