Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
6 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT
Yazdır
1. 
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
by 
Kullmann, Oliver. editor.
https://doi.org/10.1007/978-3-642-02777-2
Format: 
Alıntı: 
Mathematical Logic and Foundations.
2. 
Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
by 
Kleine Büning, Hans. editor.
https://doi.org/10.1007/978-3-540-79719-7
Format: 
Alıntı: 
Mathematical Logic and Foundations.
3. 
Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
by 
Marques-Silva, Joao. editor.
https://doi.org/10.1007/978-3-540-72788-0
Format: 
Alıntı: 
Mathematical Logic and Foundations.
4. 
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
by 
Biere, Armin. editor. (orcid)0000-0001-7170-9242
https://doi.org/10.1007/11814948
Format: 
Alıntı: 
Mathematical Logic and Foundations.
5. 
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers için kapak resmi
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
by 
Hoos, Holger H. editor.
https://doi.org/10.1007/11527695
Format: 
Alıntı: 
Mathematical Logic and Foundations.
6. 
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
by 
Bacchus, Fahiem. editor.
https://doi.org/10.1007/b137280
Format: 
Alıntı: 
Mathematical Logic and Foundations.