2 Ebooks tarafından 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 …
EPUB
İngilizce
DRM
€45.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 …
PDF
İngilizce
DRM
€57.82
