Auteur: Xishun Zhao

Ondersteuning

2 Ebooks door Xishun Zhao

Xishun Zhao & Qi Feng: PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE
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 an …
EPUB
Engels
DRM
€46.99
Hans Kleine Buning & Xishun Zhao: Theory and Applications of Satisfiability Testing – SAT 2008
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 Ap …
PDF
Engels
DRM
€57.66