Roberto Sebastiani

Roberto Sebastiani

1 ספרים במאגר

ספרים

Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 ProceedingsRoberto Sebastiani

Theory And Applications Of Satisfiability Testing Sat 2012 15th International Conference Trento Italy June 1720 2012 Proceedings

Roberto Sebastiani · 2012

ספרים משותפים ואוספים

ספרים שבהם Roberto Sebastiani מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Automated ReasoningDidier Galmiche

Automated Reasoning

Didier Galmiche · 2018

Frontiers of Combining SystemsSilvio Ghilardi

Frontiers of Combining Systems

Silvio Ghilardi · 2009