Skip to contents

  1. Barwise, Jon [Author]; Etchemendy, John [Author] ; Allwein, Gerard [Other]

    Sprache, Beweis und Logik

    Books
    Close

    Bookmarks

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

    Paderborn: mentis, 2005-2006

  2. Barker-Plummer, Dave; Etchemendy, John; Murray, Michael; Pease, Emma; Swoboda, Nik

    Diagrammatic Representation and Inference: Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning

    Articles
    View online
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Diagrammatic Representation and Inference