A Logical Reconstruction of Reachability

Вы здесь

Автор:

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

Вид:

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

Год:

2003

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

Стр.:

P.222-237

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

Bibliogr.: p.236-237

Источник:

Том:

2890

Карточка:

Б2.13.

Rybina T., Voronkov A..

A Logical Reconstruction of Reachability// Lecture Notes in Computer Science-2003.-Vol. 2890.-P.222-237
Bibliogr.: p.236-237

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

PAP28 152