Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 4 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 4 von 4.

Sortieren

  1. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  CSLI Publications, Stanford, Calif.

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Unter den Linden
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1575864053; 1575864061
    RVK Klassifikation: ES 930
    Schriftenreihe: CSLI lecture notes ; 141
    Schlagworte: Communication visuelle; Langage et logique; Linguistique informatique; Logica; Logigrammes; Raisonnement; Redeneren; Sémantique (Philosophie); Logik; Computational linguistics; Language and logic; Logic diagrams; Reasoning; Semantics (Philosophy); Visual communication; Sprachlogik; Formale Semantik; Diagrammatisches Schließen; Künstliche Intelligenz
    Umfang: X, 276 p., Ill. : 24 cm
    Bemerkung(en):

    Includes bibliographical references and index
  2. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  Univ., Center for the Study of Language and Information, Stanford, Calif.

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Signatur:
    13.175.72
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave (Hrsg.); Beaver, David I. (Hrsg.); Benthem, Johan van (Hrsg.); Scotto di Luzio, Patrick (Mitarb.); Aiello, Marco (Mitarb.); Fisler, Kathi (Mitarb.); Lemon, Oliver (Mitarb.); Grünwald, Peter (Mitarb.); Koller, Alexander (Mitarb.); Niehren, Joachim (Mitarb.); Paiva, Valeria de (Mitarb.); Tiede, Hans-Joerg (Mitarb.); Aloni, Maria (Mitarb.); Stokhof, M. J. B. (Mitarb.); Westerståhl, Dag (Mitarb.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1575864061; 1575864053
    RVK Klassifikation: ES 930
    Schriftenreihe: CSLI lecture notes ; 141
    Schlagworte: Diagrammatisches Schließen; Formale Semantik; Künstliche Intelligenz; Sprachlogik
    Umfang: X, 276 S.
  3. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  CSLI Publications, Center for the Study of Language and Information, Stanford, Calif.

    Diagrammatic reasoning : editorial introduction / Dave Barker-Plummer -- Logical patterns in space / Marco Aiello and Johan van Benthem -- Diagrams and computational efficacy / Kathi Fisler -- Comparing the efficacy of visual languages / Oliver Lemon... mehr

    Standort:
    Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, Haus Potsdamer Straße
    Signatur:
    1 A 449542
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Erfurt / Forschungsbibliothek Gotha, Universitätsbibliothek Erfurt
    Signatur:
    ES 200 B255
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    Signatur:
    2002 A 23249
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universitätsbibliothek Osnabrück
    Signatur:
    BFL E / Bar
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Universität Potsdam, Universitätsbibliothek
    Signatur:
    ES 930 BAR
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Gemeinsamer Bibliotheksverbund (GBV)

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Südwestdeutscher Bibliotheksverbund (SWB)

     

    Diagrammatic reasoning : editorial introduction / Dave Barker-Plummer -- Logical patterns in space / Marco Aiello and Johan van Benthem -- Diagrams and computational efficacy / Kathi Fisler -- Comparing the efficacy of visual languages / Oliver Lemon -- Computation : editorial introduction / Johan van Benthem -- Taking the sting out of subjective probability / Peter Grünwald -- Constraint programming in computational linguistics / Alexander Koller and Joachim Niehren -- Lineales : algebras and categories in the semantics of linear logic / Valeria de Paiva -- Proof tree automata / Hans-Joerg Tiede -- Logic & language : editorial introduction / David I. Beaver -- Questions under cover / Maria Aloni -- Pragmatics, and that's an order / David I Beaver -- Meaning, interpretation, and semantics / Martin Stokhof -- On the compositionality of idioms / Dag Westerstähl

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 1575864053; 1575864061
    RVK Klassifikation: ES 930
    Schriftenreihe: CSL lecture notes ; 141
    Schlagworte: Language and logic; Reasoning; Logic diagrams; Computational linguistics; Visual communication; Semantics (Philosophy)
    Umfang: X, 276 S, graph. Darst, 24 cm
    Bemerkung(en):

    Includes bibliographical references and index

    Diagrammatic reasoning : editorial introduction / Dave Barker-Plummer -- Logical patterns in space / Marco Aiello and Johan van Benthem -- Diagrams and computational efficacy / Kathi Fisler -- Comparing the efficacy of visual languages / Oliver Lemon -- Computation : editorial introduction / Johan van Benthem -- Taking the sting out of subjective probability / Peter Grünwald -- Constraint programming in computational linguistics / Alexander Koller and Joachim Niehren -- Lineales : algebras and categories in the semantics of linear logic / Valeria de Paiva -- Proof tree automata / Hans-Joerg Tiede -- Logic & language : editorial introduction / David I. Beaver -- Questions under cover / Maria Aloni -- Pragmatics, and that's an order / David I Beaver -- Meaning, interpretation, and semantics / Martin Stokhof -- On the compositionality of idioms / Dag Westerstähl
  4. Words, proofs, and diagrams
    Autor*in:
    Erschienen: 2002
    Verlag:  CSLI Publications, Stanford, Calif.

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Barker-Plummer, Dave (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 1575864053; 1575864061
    RVK Klassifikation: ES 930
    Schriftenreihe: CSLI lecture notes ; 141
    Schlagworte: Communication visuelle; Langage et logique; Linguistique informatique; Logica; Logigrammes; Raisonnement; Redeneren; Sémantique (Philosophie); Logik; Computational linguistics; Language and logic; Logic diagrams; Reasoning; Semantics (Philosophy); Visual communication; Sprachlogik; Formale Semantik; Diagrammatisches Schließen; Künstliche Intelligenz
    Umfang: X, 276 p., Ill. : 24 cm
    Bemerkung(en):

    Includes bibliographical references and index