Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Armin Biere · 2009

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2009
שפה: English
הוצאה: IOS Press
מהדורות: 1
עמודים: 980
ISBN: 9781586039295

מקור הנתונים: Wikidata

עוד של Armin Biere

Hardware and Software: Verification and TestingArmin Biere

Hardware and Software: Verification and Testing

Armin Biere · 2013

Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere · 2020

Computer Aided VerificationArmin Biere

Computer Aided Verification

Armin Biere · 2014

Theory and applications of satisfiability testing -- SAT 2006Armin Biere

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere · 2006

Handbook of SatisfiabilityArmin Biere

Handbook of Satisfiability

Armin Biere · 2009

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008