Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Hans Kleine Buning
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Proceedings Of The 13th Asian Logic Conference
Xishun (Sun Yat-sen Univ, China) Zhao
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£99.00
£94.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket