2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings (Lecture Notes in Artificial Intelligence 3632)
Robert Nieuwenhuis
4.94 Mb
#2
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Robert Nieuwenhuis
Категория:
Компьютеры
4.12 Mb
#3
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings
Robert Nieuwenhuis
,
Andrei Voronkov
6.72 Mb
#4
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Robert Nieuwenhuis
5.59 Mb
#5
Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Robert Nieuwenhuis
4.44 Mb