Вы здесь

A Guide to LP, The Larch Prover

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Ключевые слова: 
Стр.: 
95 p.
Библиография: 
Bibliogr.: p.87-89
Место издания: 
Номер: 
82
Карточка: 

В2.11, Б2.1.

Garland S. J., Guttag J. V..

A Guide to LP, The Larch Prover-Palo Alto., 1991.-95 p.-(Препринт Digital №82).
Bibliogr.: p.87-89

Таблица в старой библиотеке: 
PREP2 694