Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Каталог "Книги" | Книги .(02)

A Resolution Principle for a Logic with Restricted

H. - J. Burckert
44755

Детайли

Издателство
Springer
Местоиздаване
Berlin etc.
Година на издаване
1991
Страници
116 p. il.
Класификационен индекс
УДК Значение
519.6/.8 Изчислителна математика. Числен анализ и програмиране (машинна математика)/ Изследване на операциите
ISBN
3-540-55034-8
Отрасъл
Математика
Системен №
13318
Допълнителна сигнатура
B 96
Инвентаризация
Статус Брой
Фил. Математика (МАТ) 1

Действия

Виж още