Equivalence of the Concave Optimisation Method and d"Agostino s Tableaux for Propositional Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1996

Ключевые слова:

пропозициональный

оптимизация

Стр.:

P.41-51.

Библиография:

Bibliogr.: p.51.

Издательство:

Middle East Technical Univ.

Источник:

ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996

Том:

I

Карточка:

Б2.14.

Groote J. F., Van Maaren H..

Equivalence of the Concave Optimisation Method and d"Agostino s Tableaux for Propositional Logic: Middle East Technical Univ.// ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996-1996.-Vol. I.-P.41-51.
Bibliogr.: p.51.

Таблица в старой библиотеке:

PAP15 821