Hoppa till sidans huvudinnehåll

Roberto Sebastiani – författare

Visar alla böcker från författaren Roberto Sebastiani.
4 produkter
Didier Galmiche, Stephan Schulz, Roberto Sebastiani - Automated Reasoning, Häftad
Del 10900 - Lecture Notes in Computer Science

Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

AvDidier Galmiche,Stephan Schulzm. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Silvio Ghilardi, Roberto Sebastiani - Frontiers of Combining Systems, Häftad

Frontiers of Combining Systems

7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings

AvSilvio Ghilardi,Roberto Sebastiani

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz - Research and Advanced Technology for Digital Libraries, Häftad

Research and Advanced Technology for Digital Libraries

14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings

AvMounia Lalmas,Joemon Josem. fl.

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Alessandro Cimatti, Roberto Sebastiani - Theory and Applications of Satisfiability Testing -- SAT 2012, Häftad

Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

AvAlessandro Cimatti,Roberto Sebastiani

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar