Zum Inhalt springen

  1. Cate, Balder David ten [Sonstige Person, Familie und Körperschaft]; Zeevat, Henk W. [Sonstige Person, Familie und Körperschaft]; Cate, Balder D. ten [Herausgeber:in] ; International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi

    Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers

    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, 2007

    Erschienen in: Lecture notes in computer science ; 4363

  2. Benedikt, Michael [Verfasser:in] ; Leblay, Julien [Sonstige Person, Familie und Körperschaft]; Cate, Balder David ten [Sonstige Person, Familie und Körperschaft]; Tsamoura, Efthymia [Sonstige Person, Familie und Körperschaft]

    Generating plans from proofs: the interpolation-based approach to query reformulation

    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.

    San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2016

    Erschienen in: Synthesis lectures on data management ; 43