Вы здесь
A unification graph with constraints for intelligent backtracking in deduction systems
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1984
Ключевые слова:
Стр.:
37 P.
Библиография:
Bibliogr.: p.37
Место издания:
Номер:
100/84
Карточка:
Б4.12, Б2.1.
Dilger W., Janson A..
A unification graph with constraints for intelligent backtracking in deduction systems-Kaiserslautern., 1984.-37 P.-(Препринт Univ. Kaiserslautern №100/84).
Bibliogr.: p.37
Таблица в старой библиотеке:
PREP1 371