Вы здесь

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