> Detailanzeige

Schroeder-Heister, Peter [Herausgeber:in]

Proceedings of the SNS Logic Colloquium, March 1990

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book
  • Titel: Proceedings of the SNS Logic Colloquium, March 1990
  • Beteiligte: Schroeder-Heister, Peter [Herausgeber:in]
  • Erschienen: Tübingen: Seminar für natürlich-sprachliche Systeme der Universität Tübingen, 1990
    Tübingen: Universitätsbibliothek Tübingen, 2022
  • Umfang: 153 Seiten
  • Sprache: Englisch
  • DOI: 10.15496/publikation-69809
  • Identifikator:
  • Schlagwörter: Logik ; Mathematische Logik ; Algorithmus ; Grammatiktheorie ; Deklarative Programmierung ; Modallogik ; Kripke-Struktur
  • Hersteller der Reproduktion: Tübingen: Universitätsbibliothek Tübingen, 2022
  • Entstehung:
  • Anmerkungen: Elektronische Reproduktion der Druckausgabe
  • Beschreibung: Republication of the proceedings of the Informal Logic Colloquium held in March 1990 at the Seminar für natürlichsprachliche Systeme (SNS) of the University of Tübingen.
  • Zugangsstatus: Freier Zugang