Monografie
Model generation for natural language interpretation and analysis
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2000
- Identifier
-
98648346X
Thema
Natürliche Sprache ; Formale Semantik ; Semantische Analyse ; Modellgenerierung ; Natürliche Sprache ; Formale Semantik ; Semantische Analyse ; Modellgenerierung ; Automatisches Beweisverfahren; Hochschulschrift
Beteiligte Personen und Organisationen
Konrad, Karsten
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
Objekttyp
- Monografie
Beteiligte
- Konrad, Karsten
Ähnliche Objekte (12)
Knowledge representation and the semantics of natural language : with 23 tables and CD-ROM
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Cryptographically sound analysis of security protocols
User-adaptive proof explanation
Semantics-directed generation of compilers and abstract machines
A demand-driven solver for constraint-based control flow analysis
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
A uniform computational model for natural language parsing and generation
Computational linguistics and talking robots : processing content in database semantics
An integrated semantic approach to large-scale question answering
Knowledge representation and the semantics of natural language : with 23 tables and CD-ROM
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Cryptographically sound analysis of security protocols
User-adaptive proof explanation
Semantics-directed generation of compilers and abstract machines
A demand-driven solver for constraint-based control flow analysis
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
A uniform computational model for natural language parsing and generation
Computational linguistics and talking robots : processing content in database semantics
An integrated semantic approach to large-scale question answering
Knowledge representation and the semantics of natural language : with 23 tables and CD-ROM
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Wissensverarbeitung und die Semantik der natürlichen Sprache : Wissensrepräsentation mit MultiNet
Cryptographically sound analysis of security protocols
User-adaptive proof explanation
Semantics-directed generation of compilers and abstract machines
A demand-driven solver for constraint-based control flow analysis
From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics
The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts
A uniform computational model for natural language parsing and generation
Computational linguistics and talking robots : processing content in database semantics