Automated Reasoning

33 Research Problems

Larry Wos

ЦБ 44593

Издателство

Prentice Hall

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

Englewood Cliffs

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

1988

Страници

XIV, 319 p.

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

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

Отрасъл

Естествени науки

Забележка

Bibliogr. p. 273-282 ; Ind. p. 283-319.

Системен №

593

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

W 84

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

Статус	Брой
Централна библиотека - хранилище (Цб)	1

Wos, L. Automated Reasoning, Prentice Hall, 1988, XIV, 319 p..

Wos, L. . Automated Reasoning. Englewood Cliffs: Prentice Hall, 1988, XIV, 319 p..

Wos, L. (1988) Automated Reasoning, Englewood Cliffs: Prentice Hall, XIV, 319 p.

Wos, L. (1988). Automated Reasoning. 33 Research Problems. Englewood Cliffs: Prentice Hall, XIV, 319 p..