Computational Aspects of an Order- Sorted Logic with Term

M. Schmidt - Schauss

35027

Издателство

Springer- Verlag

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

Berlin

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

1989

Страници

171 p.

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

УДК	Значение
ОА8	ОА8 --> от ISIS без текст

ISBN

3-540-51705-7

Отрасъл

Математика

Системен №

1997

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

S 34

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

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

Виж още

(2011)

Roger Brown (1970)

Schmidt - Schauss, M. Computational Aspects of an Order- Sorted Logic with Term. Berlin: Springer- Verlag, 1989 171 p. 3-540-51705-7.

Schmidt - Schauss, M. (1989) Computational Aspects of an Order- Sorted Logic with Term, Berlin: Springer- Verlag 171 p. 3-540-51705-7.

Schmidt - Schauss, M. (1989). Computational Aspects of an Order- Sorted Logic with Term. Berlin: Springer- Verlag, 171 p.

Schmidt - Schauss M. Computational Aspects of an Order- Sorted Logic with Term. Berlin: Springer- Verlag; 1989. p. 171 p. ISBN: 3-540-51705-7.