Logic and Programming Languages | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1987

Ключевые слова:

логический

программирование

семантика

алгебраический

денотационный

ламбда-исчисление

Стр.:

P.47-62.

Реферат:

Логика и языки программирования.

Место издания:

Источник:

ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985

Карточка:

Б2.14, Б2.24.

Scott D..

Logic and Programming Languages-New York.// ACM Turing Award Lectures. The First Twenty Years. 1966 to 1985, 1987.-P.47-62.

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

PAP1 532