"Enrico Giunchiglia" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers (Lecture Notes in Computer Science)

Enrico Giunchiglia, Armando Tacchella

Категория: Компьютеры

19.87 Mb

#2

SAT 2005: Satisfiability Research in the Year 2005

Enrico Giunchiglia, Toby Walsh

2.44 Mb

#3

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Enrico Giunchiglia, Armando Tacchella

6.05 Mb