An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Rosenblueth D. A.

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

1

Вид:

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

Год:

1993

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

формальный

логический

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

корректность

программа

алгоритм

Стр.:

P.211-217.

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

Bibliogr.: p.216-217.

Издательство:

Источник:

Information Processing Letters

Номер:

4

Том:

45

Карточка:

Б2.23, Б2.12, Б2.3.

Rosenblueth D. A..

An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser: Springer// Information Processing Letters-1993, №4.-Vol. 45.-P.211-217.
Bibliogr.: p.216-217.

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

PAP5 697