Roberto Sebastiani – författare
Visar alla böcker från författaren Roberto Sebastiani.
4 produkter
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
Av Didier Galmiche, Stephan Schulz m. fl.
Häftad, 2018
729 kr
Lägg i varukorg
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Av Silvio Ghilardi, Roberto Sebastiani
Häftad, 2009
729 kr
Lägg i varukorg
Research and Advanced Technology for Digital Libraries
14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
Av Mounia Lalmas, Joemon Jose m. fl.
Häftad, 2010
729 kr
Lägg i varukorg
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Av Alessandro Cimatti, Roberto Sebastiani
Häftad, 2012
709 kr
Lägg i varukorg