Вы здесь
Integrating Static and Dynamic Sort Checking in Logic Programming
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Стр.:
P.11-16
Библиография:
Bibliogr.: p.16
Место издания:
Источник:
Карточка:
Б2.33.
Chen J..
Integrating Static and Dynamic Sort Checking in Logic Programming-Milovy.// XXI SOFSEM 94: Contributed Talks, 1994.-P.11-16
Bibliogr.: p.16
Таблица в старой библиотеке:
PAP12 728