Вы здесь

The Boyer Benchmark Meets Linear Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.3-10.
Библиография: 
Bibliogr.: p.8-9.
Источник: 
Номер: 
4
Том: 
VI
Карточка: 

Б4.23, Б3.1.

Baker H. G..

The Boyer Benchmark Meets Linear Logic// LISP Pointers-1993, №4.-Vol. VI.-P.3-10.
Bibliogr.: p.8-9.

Таблица в старой библиотеке: 
ACM3 685