Direkt zur Hauptnavigation springen
Direkt zum Inhalt springen
toggle menu
Komplette Website durchsuchen
Suchraum:
Katalog
Webseite
Recherchieren
Open
Profil
Informationen zur Suche
Datenquellen
Neuerscheinungen
Germanistenverzeichnis
Publizieren
Open
GiNDok Repositorium
Suchen in GiNDok
E-Journal-Hosting
Informieren
Open
Blog
GiNGuide Wegweiser
Institutionen
Forschung und Kommunikation
Themen, Tools und mehr
Informationsressourcen
Forschen
Sie sind hier
Germanistik im Netz
Suchergebnisse
Filtern nach
Aktive Filter
Niehren, Joachim
Alle Filter entfernen
Kategorien:
Veröffentlichungen
(1)
Bereich
Katalog
(1)
Quelle
Verbundkataloge
(1)
Format
Druck
(1)
Beteiligt
Aiello, Marco
(1)
Aloni, Maria
(1)
Barker-Plummer, Dave
(1)
Beaver, David I.
(1)
Benthem, Johan van
(1)
Fisler, Kathi
(1)
Grünwald, Peter
(1)
Koller, Alexander
(1)
Lemon, Oliver
(1)
Niehren, Joachim
(1)
Paiva, Valeria de
(1)
Scotto di Luzio, Patrick
(1)
Stokhof, M. J. B.
(1)
Tiede, Hans-Joerg
(1)
Westerståhl, Dag
(1)
Mehr zeigen
Medientyp
Buch (Monographie)
(1)
Sprache
Englisch
(1)
Jahr
2002
(1)
Letzte Suchanfragen
*
Komplette Website durchsuchen
Suchen
Ergebnisse für *
Es wurden 1 Ergebnisse gefunden.
Zeige Ergebnisse 1 bis 1 von 1.
Sortieren
Sortieren der Suchergebnisse nach
Standard
Autor*in
Erscheinungsdatum aufsteigend
Erscheinungsdatum absteigend
Titel aufsteigend (A-Z)
Titel absteigend (Z-A)
Words, proofs, and diagrams
Autor*in:
Erschienen:
2002
Verlag: Univ., Center for the Study of Language and Information, Stanford, Calif.
Bibliographische Angaben
Inhaltsangaben
Zugang
Export
Frankfurt/Main: Hessisches BibliotheksInformationsSystem HeBIS
Standort:
Hessisches BibliotheksInformationsSystem HeBIS
Fernleihe:
keine Fernleihe
Link zum Verbundkatalog:
Hessisches BibliotheksInformationsSystem (HeBIS)
Frankfurt/Main: Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
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
Inhaltsverzeichnis
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.