Extracting Higher Order Functions from First Order Proofs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

European Computer-Industry Research Centre

Вид:

Препринт

Год:

1992

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

логика первого порядка

логический

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

доказательство

семантика

Стр.:

17 p.

Библиография:

Bibliogr.: p.13-17.

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

Номер:

TR ECRC-92-7

Карточка:

Б2.14, В2.11.

Voronkov A..

Extracting Higher Order Functions from First Order Proofs-Munchen., 1992.-17 p.-(Препринт European Computer-Industry Research Centre №TR ECRC-92-7).
Bibliogr.: p.13-17.

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

PREP1 594