Вы здесь

Order-Sorted Equational Unification

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1990
Стр.: 
13 p.
Библиография: 
Bibliogr.: p.11-13
Место издания: 
Номер: 
RR N 954
Карточка: 

В2.11.

Kirchner C..

Order-Sorted Equational Unification-Rocquencourt., 1990.-13 p.-(Препринт INRIA №RR N 954).
Bibliogr.: p.11-13

Таблица в старой библиотеке: 
PREP1 46