Higher- Order Algebra, Logic, and Term Rewriting

Selected Papers

44272

Издателство

Springer

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

Berlin etc.

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

1994

Страници

344 p.

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

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

ISBN

3-540-58233-9

Отрасъл

Математика

Системен №

12838

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

H 65

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

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

Виж още

Jeremy Munday (2012)

(1996)

Higher- Order Algebra, Logic, and Term Rewriting. Berlin etc.: Springer, 1994 344 p. 3-540-58233-9.

(1994) Higher- Order Algebra, Logic, and Term Rewriting, Berlin etc.: Springer 344 p. 3-540-58233-9.

(1994). Higher- Order Algebra, Logic, and Term Rewriting. Selected Papers. Berlin etc.: Springer, 344 p.

Higher- Order Algebra, Logic, and Term Rewriting: Selected Papers. Berlin etc.: Springer; 1994. p. 344 p. ISBN: 3-540-58233-9.