Computational Aspects opf an Order-Sorted Logic with Term Declarations

44770

Издателство

Springer

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

Berlin etc.

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

1989

Страници

171 p.

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

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

ISBN

3-540-18419-8

Отрасъл

Математика

Системен №

13338

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

C 73

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

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

Computational Aspects opf an Order-Sorted Logic with Term Declarations. Berlin etc.: Springer, 1989 171 p. 3-540-18419-8.

(1989) Computational Aspects opf an Order-Sorted Logic with Term Declarations, Berlin etc.: Springer 171 p. 3-540-18419-8.

(1989). Computational Aspects opf an Order-Sorted Logic with Term Declarations. Berlin etc.: Springer, 171 p.

Computational Aspects opf an Order-Sorted Logic with Term Declarations. Berlin etc.: Springer; 1989. p. 171 p. ISBN: 3-540-18419-8.