Combining Decision Procedures

Вы здесь

Автор:

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

Вид:

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

Год:

2003

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

Стр.:

P.381-422

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

Bibliogr.: p.417-420

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

Источник:

Том:

2757

Карточка:

Б2.23.

Manna Z., Zarba C. G..

Combining Decision Procedures: Springer// Lecture Notes in Computer Science-2003.-Vol. 2757.-P.381-422
Bibliogr.: p.417-420

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

PAP27 893