Logic Programming and Automated Reasoning

Proceedings

44773

Издателство

Springer

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

Berlin etc.

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

1992

Страници

509 p. il.

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

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

ISBN

3-540-55727-X

Отрасъл

Математика

Системен №

13335

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

L 85

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

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

Виж още

(2010)

(1994)

(1993)

Logic Programming and Automated Reasoning. Berlin etc.: Springer, 1992 509 p. il. 3-540-55727-X.

(1992) Logic Programming and Automated Reasoning, Berlin etc.: Springer 509 p. il. 3-540-55727-X.

(1992). Logic Programming and Automated Reasoning. Proceedings. Berlin etc.: Springer, 509 p. il.

Logic Programming and Automated Reasoning: Proceedings. Berlin etc.: Springer; 1992. p. 509 p. il. ISBN: 3-540-55727-X.

🍪 Използваме "бисквитки", за да осигурим най-доброто изживяване на нашия уебсайт. Научете повече в нашата Политика за поверителност.