Sebastiani, Roberto

Vis mig kun

Theory and Applications of Satisfiability Testing -- SAT 2012

Theory and Applications of Satisfiability Testing -- SAT 2012

Sebastiani, Roberto

436,85 DKK

Automated Reasoning

Automated Reasoning

Sebastiani, Roberto

436,85 DKK

Automated Reasoning

Automated Reasoning

Sebastiani, Roberto

436,85 DKK

Frontiers of Combining Systems

Frontiers of Combining Systems

Sebastiani, Roberto

436,85 DKK