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

Symbolic Computation and Automated Reasoning

Name: Symbolic Computation and Automated Reasoning
ISBN: 9781439864234

The CALCULEMUS-2000 Symposium

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

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