1
Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

წელი:
2008
ენა:
english
ფაილი:
PDF, 3.45 MB
0 / 0
english, 2008
2
Proceedings of the 13th Asian Logic Conference

Proceedings of the 13th Asian Logic Conference

წელი:
2015
ენა:
english
ფაილი:
PDF, 2.06 MB
0 / 0
english, 2015