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