Skip to contents

  1. Dix, Jürgen [Editor] ; LPKR 3 1997 Port Jefferson, NY

    Logic programming and knowledge representation : third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997; selected papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 1998

    Published in: Lecture notes in computer science ; 1471

  2. Schroeder-Heister, Peter [Author]

    Judgements of higher levels and standardized rules for logical constants in Martin-Löf's theory of logic

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Göteborg: Programming Methodology Group, University of Göteburg and Chalmers University of Technology, 1989 ; Online-Ausgabe, Tübingen: Universitätsbibliothek Tübingen, 2022

    Published in: Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989 ; Report 54$dGöteborg$eProgramming Methodology Group, University of Göteburg and Chalmers University of Technology$f1989

  3. Blühdorn, Hardarik [Editor]; Breindl, Eva [Editor]; Waßner, Ulrich Hermann [Editor]

    Brücken schlagen : Grundlagen der Konnektorensemantik

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; New York: Walter de Gruyter, 2012

    Published in: Linguistik - Impulse & Tendenzen ; 5

  4. Dix, Jürgen [Author] ; Pereira, Luís Moniz [Other]; Przymusinski, Teodor C. [Other]

    Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Published in: Lecture notes in computer science ; 1471