Вы здесь
A Method for Implementing Equational Theories as Logic Programs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.497-511.
Библиография:
Bibliogr.: p.509-511
Карточка:
Б2.14.
Cheng M.H. M., Parker D. S., Van Emden M. H..
A Method for Implementing Equational Theories as Logic Programs// Logic Programming: Proc. of the Twelfth Intern. Conf.-1995.-P.497-511.
Bibliogr.: p.509-511
Таблица в старой библиотеке:
LOG1 482