Número de Cutter-SanbornK39sEntrada «Ker» → 39 · marca de obra “s”

Symbolic Computation and Automated Reasoning

Name: Symbolic Computation and Automated Reasoning
ISBN: 9780429064302

The CALCULEMUS-2000 Symposium

Autor	Manfred Kerber, Michael Kohlhase
Editorial	CRC Press LLC
Fecha de publicación	2001
Idioma	inglés
ISBN-13	9780429064302
Número de Cutter	`K39s`

Symbolic Computation and Automated Reasoning (2001) — ISBN 9780429064302 | Cutter Number