Logic Programming and Model Checking

Вы здесь

Автор:

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

Вид:

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

Год:

1998

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

Стр.:

P.1-20.

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

Bibliogr.: p.18-20.

Источник:

Том:

1490

Карточка:

Б2.1, Б2.2.

Cui B., Dong Y., Du X., Kumar K. N., Ramakrishnan C. R., Ramakrishnan I. V., Roychoudhury A., Smolka S. A., Warren D. S..

Logic Programming and Model Checking// Lecture Notes in Computer Science-1998.-Vol. 1490.-P.1-20.
Bibliogr.: p.18-20.

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

PAP18 707