Вы здесь

Using Type Theory to Synthesise Database Functions

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.101-105
Библиография: 
Bibliogr.: p.104-105
Место издания: 
Карточка: 

Б2.11, Б5.2.

Rajagopalan P..

Using Type Theory to Synthesise Database Functions-Milovy.// XXI SOFSEM 94: Contributed Talks, 1994.-P.101-105
Bibliogr.: p.104-105

Таблица в старой библиотеке: 
PAP12 743