Вы здесь

Главная

Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2005
Ключевые слова: 
автоматизированный
дедукция
доказательство
логическое программирование
пропозициональный
темпоральный
логика
Стр.: 
459 p.
Редактор: 
Nieuwenhuis R.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
3632
Карточка: 

В2.11, Б2.14.

Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005Ed. by Nieuwenhuis R..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3632.-459 p.-(Lecture Notes in Artificial Intelligence).

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