Zum Inhalt springen

  1. Ghilardi, Silvio [Herausgeber:in]; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] ; FroCoS 7 2009 Trient

    Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5749

  2. Grossi, Roberto [Herausgeber:in]; Sebastiani, Fabrizio [Sonstige Person, Familie und Körperschaft]; Silvestri, Fabrizio [Sonstige Person, Familie und Körperschaft] ; SPIRE 18 2011 Pisa

    String processing and information retrieval : 18th international symposium, SPIRE 2011, Pisa, Italy, October 17 - 21, 2011 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 7024

  3. Cimatti, Alessandro [Verfasser:in] ; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft]

    Theory and Applications of Satisfiability Testing – SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7317

  4. Ghilardi, Silvio [Verfasser:in] ; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft]

    Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5749

  5. Grossi, Roberto [Verfasser:in] ; Sebastiani, Fabrizio [Sonstige Person, Familie und Körperschaft]; Silvestri, Fabrizio [Sonstige Person, Familie und Körperschaft]

    String Processing and Information Retrieval : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 7024

  6. Galmiche, Didier [Herausgeber:in]; Schulz, Stephan [Herausgeber:in]; Sebastiani, Roberto [Herausgeber:in]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1090000

  8. Möhle, Sibylle [Verfasser:in]; Sebastiani, Roberto [Verfasser:in]; Biere, Armin [Verfasser:in]

    Four flavors of entailment

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2020

    Erschienen in: ISBN: 978-3-030-51825-7 ; ISSN: 1611-3349

  11. Marcelli, Marina [Verfasser:in]; Matteucci, Renato [Verfasser:in]; Sebastiani, Renato [Verfasser:in] ; Mellace, V. Silvia [Mitwirkende:r]; Rosa, Carlo [Mitwirkende:r]; Coccia, Stefano [Mitwirkende:r]; De Santis, Filomena [Mitwirkende:r]; Menichelli, Roberto [Mitwirkende:r]; Vaudo, Carla [Mitwirkende:r]

    Il Sistema Informativo Territoriale per la gestione del patrimonio storico-archeologico del quartiere Ostiense- Marconi : uno strumento di ricerca e programmazione urbana

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Publications de l'École française de Rome ; Vol. 419, n° 1, pp. 105-122

  20. Cook, Byron; Sebastiani, Roberto

    Preface and Foreword

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2007

    Erschienen in: Electronic Notes in Theoretical Computer Science, 174 (2007) 8, Seite 3-6