Roberto Sebastiani und Proceedings - Info zur Person

(1 - 13 von 21

)

beluga - Exemplare: Theory and applications of satisfiability...

beluga.sub.uni-hamburg.de

... of satisfiability testing - SAT th international conference, Trento, Italy, June , ; proceedings ; Alessandro Cimatti; Roberto Sebastiani (eds.).

Principles of Knowledge Representation and Reasoning: Proceedings of...

books.google.com.au

... USA Erik Sandewall Linköping U , Sweden Roberto Sebastiani U Trento , Italy ... USA Richard E . Fikes Stanford U , USA Fangzhen Lin Hong Kong U of Sci ...

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th...

books.google.com.au

15th International Conference, Trento, Italy, June , 2012, Proceedings Alessandro Cimatti, Roberto Sebastiani ... In: Brinksma, E., Larsen, K.G. (eds.) CAV LNCS ... Büning, H.K., Bubeck, U.: Theory of quantified boolean formulas.

Automated Reasoning: 9th International Joint Conference, IJCAR 2018,...

books.google.de

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in...

Roberto Sebastiani – CDs, Noten, Bücher und mehr – jpc.de

www.jpc.de

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento

dblp: Roberto Sebastiani

dblp.uni-trier.de

Didier Galmiche, Stephan Schulz, Roberto Sebastiani: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July , 2018, Proceedings. Lecture Notes in Computer Science , Springer 2018, ISBN

Runtime Verification Using a Temporal Description Logic ...

iccl.inf.tu-dresden.de

Franz Baader, Andreas Bauer, Marcel Lippmann Runtime Verification Using a Temporal Description Logic In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume of Lecture Notes in Computer ScienceSpringer