Theory and Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings


Engels
({{bookPageStaticData?.reviews.length ?? 0}} recensies)
Theory and Application of Satisfiability Testing, Karem A. Sakallah ; Laurent Simon - Paperback - 9783642215803
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
{{bookPageStaticData?.averageRatingString}}
{{bookPageStaticData?.averageReviews}}
Nog geen recensies. Wees de eerste!
{{review.title}}
Lees meer Lees minder
{{review.createdOnString}} | {{review.alias}} | {{review.bindingDescription}}
Meer Recensies Toon Minder

Hostname: pro-mbooks3