Xishun Zhao – författare

Visar alla böcker från författaren Xishun Zhao. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Theory and Applications of Satisfiability Testing – SAT 2008

   11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

   Av Hans Kleine Büning, Xishun Zhao

   Häftad, 2008

   551 kr

   Lägg i varukorg

   This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an …

2. 

   Theory and Applications of Satisfiability Testing - SAT 2008

   11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

   Av Xishun Zhao, Hans Kleine Buning

   E-bok, 2008

   718 kr

   Lägg i varukorg

   This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an …

3. 

   PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE

   13th Asian Logic Conference (Guangzhou, China, 16 - 20 September 2013)

   Av Zhao Xishun, Xishun Zhao m. fl.

   Inbunden, 2015

   1593 kr

   Lägg i varukorg

   This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.