Número de Cutter-SanbornH459hEntrada «Heer» → 459 · marca de obra “h”

Higher-Order Algebra, Logic, and Term Rewriting

Name: Higher-Order Algebra, Logic, and Term Rewriting
ISBN: 9780387582337

First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

Autor	Jan Heering, Karl Meinke, Bernhard Moller
Editorial	Springer
Fecha de publicación	July 1994
Idioma	inglés
Páginas	351
ISBN-13	9780387582337
ISBN-10	0387582339
Número de Cutter	`H459h`

Higher-Order Algebra, Logic, and Term Rewriting (1994) — ISBN 9780387582337 | Cutter Number