Вы здесь
An Axiomatic Approach to Semantics of Disjunctive Programs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.303-320.
Библиография:
Bibliogr.: p.319-320.
Место издания:
Карточка:
Б2.24, Б2.14.
Dix J., Muller M..
An Axiomatic Approach to Semantics of Disjunctive Programs-Cambridge.// Logic Programming: Proc. of the Eleventh Intern. Conf., 1994.-P.303-320.
Bibliogr.: p.319-320.
Таблица в старой библиотеке:
LOG1 408