Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Es wurden 2 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 2 von 2.

Sortieren

  1. Logic, language, and computation
    6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 ; revised selected papers
    Autor*in:
    Erschienen: 2007
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Cate, Balder ten (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9783540751434; 3540751432
    Weitere Identifier:
    9783540751434
    RVK Klassifikation: ST 306 ; SS 4800 ; ES 900
    DDC Klassifikation: Datenverarbeitung; Informatik (004)
    Schriftenreihe: Lecture Notes in Computer Science ; 4363 : Lecture notes in artificial intelligence
    Schlagworte: Modallogik; Berechnungstheorie; Sprachverarbeitung; Logik; Formale Methode
    Umfang: XII, 280 S., graph. Darst.
  2. Logic, language, and computation
    6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 ; revised selected papers
    Autor*in:
    Erschienen: 2007
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    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: Cate, Balder ten (Sonstige)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 9783540751434; 3540751432
    Weitere Identifier:
    9783540751434
    RVK Klassifikation: ST 306 ; SS 4800 ; ES 900
    DDC Klassifikation: Datenverarbeitung; Informatik (004)
    Schriftenreihe: Lecture Notes in Computer Science ; 4363 : Lecture notes in artificial intelligence
    Schlagworte: Modallogik; Berechnungstheorie; Sprachverarbeitung; Logik; Formale Methode
    Umfang: XII, 280 S., graph. Darst.