Proceedings of the SNS Logic Colloquium March 1990

DSpace Repositorium (Manakin basiert)

Proceedings of the SNS Logic Colloquium March 1990

Schroeder-Heister, Peter
Dateien:
Thumbnail
5.28 MB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/128446
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1284461
http://dx.doi.org/10.15496/publikation-69809
Dokumentart: Konferenzveröffentlichung
Erscheinungsdatum: 1990
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Mathematisch-Naturwissenschaftliche Fakultät
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
400 - Sprache, Linguistik
Schlagworte: Logik , Mathematische Logik , Algorithmus , Grammatiktheorie , Deklarative Programmierung , Modallogik , Kripke-Struktur
Freie Schlagwörter:
Logic
Mathematical Logic
Algorithm
Grammar Theory
Declarative Programming
Modal Logic
Kripke Structure
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_ohne_pod.php?la=en
Zur Langanzeige

Abstract:

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.

Das Dokument erscheint in: