Вы здесь

C-Expressions: A Variable-Free Calculus for Equational Logic Programming

Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.209-252.
Библиография: 
Bibliogr.: p.250-252.
Издательство: 
Источник: 
Номер: 
2
Том: 
107
Карточка: 

Б2.1, В2.11.

Bellia M., Occhiuto M. E..

C-Expressions: A Variable-Free Calculus for Equational Logic Programming: Springer// Theoretical Computer Science-1993, №2.-Vol. 107.-P.209-252.
Bibliogr.: p.250-252.

Таблица в старой библиотеке: 
PAP5 130