Вы здесь

SKIL: A System for Programming with Proofs

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.348-350.
Библиография: 
Bibliogr.: p.350
Издательство: 
Том: 
698
Карточка: 

Б2.14, В2.11.

Galmiche D., Hermann O..

SKIL: A System for Programming with Proofs: Springer// Lecture Notes in Artificial Intelligence-1993.-Vol. 698.-P.348-350.
Bibliogr.: p.350

Таблица в старой библиотеке: 
PAP6 349