Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 1 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 1 von 1.

Sortieren

  1. 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.