Вы здесь

A bridge between constructive logic and computer programming

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
1991
Стр.: 
P.253-270.
Реферат: 
Связь между конструктивной логикой и программированием.
Библиография: 
Bibliogr.: p.269-270
Источник: 
Номер: 
1
Том: 
90
Карточка: 

Б2, Б2.13.

Nepejvoda N..

A bridge between constructive logic and computer programming// Theoretical Computer Science-1991, №1.-Vol. 90.-P.253-270.
Bibliogr.: p.269-270

Таблица в старой библиотеке: 
PAP2 906