- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XIV, 183 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Saarbrücken, Univ., Diss., 1997
- Keyword
-
Modallogik
Klausellogik
Funktionale Semantik
Theorieresolution
Modallogik ; Klausellogik ; Funktionale Semantik ; Theorieresolution
- Creator
-
Schmidt, Renate A.
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:43 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schmidt, Renate A.
Other Objects (12)
Optimised modal translation and resolution
Novel method for an optimised calculation of modal analysis of girder bridge decks
Multi-modal post-editing of machine translation
Proof Complexity of Modal Resolution
A resolution calculus for modal logics
High-Resolution Laser Scanning Systems with Acousto-Optic Deflectors and Optimised Optics Design
Translation from Three-Valued Quantum Logic to Modal Logic
AN OPTIMISED SYSTEM FOR GENERATING MULTI-RESOLUTION DTMS USING NASA MRO DATASETS
Optimised Reasoning for SHIQ
On the translation from quantified modal logic to Counterpart Theory
Optimised pipeline for high-resolution dMRI of the post-mortem human brainstem
STG Decomposition: Optimised Backtracking and Component Reduction
Optimised modal translation and resolution
Novel method for an optimised calculation of modal analysis of girder bridge decks
Multi-modal post-editing of machine translation
Proof Complexity of Modal Resolution
A resolution calculus for modal logics
High-Resolution Laser Scanning Systems with Acousto-Optic Deflectors and Optimised Optics Design
Translation from Three-Valued Quantum Logic to Modal Logic
AN OPTIMISED SYSTEM FOR GENERATING MULTI-RESOLUTION DTMS USING NASA MRO DATASETS
Optimised Reasoning for SHIQ
On the translation from quantified modal logic to Counterpart Theory
Optimised pipeline for high-resolution dMRI of the post-mortem human brainstem
STG Decomposition: Optimised Backtracking and Component Reduction
Optimised modal translation and resolution
Novel method for an optimised calculation of modal analysis of girder bridge decks
Multi-modal post-editing of machine translation
Proof Complexity of Modal Resolution
A resolution calculus for modal logics
High-Resolution Laser Scanning Systems with Acousto-Optic Deflectors and Optimised Optics Design
Translation from Three-Valued Quantum Logic to Modal Logic
AN OPTIMISED SYSTEM FOR GENERATING MULTI-RESOLUTION DTMS USING NASA MRO DATASETS
Optimised Reasoning for SHIQ
On the translation from quantified modal logic to Counterpart Theory
Optimised pipeline for high-resolution dMRI of the post-mortem human brainstem