Higher-Order Algebra, Logic, and Term Rewriting

Selected Papers

44141

Издателство

Springer

Местоиздаване

Berlin etc.

Година на издаване

1996

Страници

287 p. il.

Класификационен индекс

УДК	Значение
519.6/.8	Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите

ISBN

3-540-61254-8

Отрасъл

Математика

Системен №

12731

Допълнителна сигнатура

H 65

Инвентаризация

Статус	Брой
Фил. Математика (МАТ)	1

Виж още

Jeremy Munday (2012)

(1994)

Higher-Order Algebra, Logic, and Term Rewriting. Berlin etc.: Springer, 1996 287 p. il. 3-540-61254-8.

(1996) Higher-Order Algebra, Logic, and Term Rewriting, Berlin etc.: Springer 287 p. il. 3-540-61254-8.

(1996). Higher-Order Algebra, Logic, and Term Rewriting. Selected Papers. Berlin etc.: Springer, 287 p. il.

Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers. Berlin etc.: Springer; 1996. p. 287 p. il. ISBN: 3-540-61254-8.