Número de Cutter-SanbornC129aEntrada «Caf» → 129 · marca de obra “a”

Automated Deduction in Classical and Non-Classical Logics

Name: Automated Deduction in Classical and Non-Classical Logics
ISBN: 9783540465089

Selected Papers

Autor	Ricardo Caferra, Gernot Salzer
Editorial	Springer
Fecha de publicación	2003
Idioma	inglés
ISBN-13	9783540465089
Número de Cutter	`C129a`

Automated Deduction in Classical and Non-Classical Logics (2003) — ISBN 9783540465089 | Cutter Number