- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783898382397
3898382397
- Dimensions
-
21 cm
- Extent
-
XII, 216 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 1999
- Bibliographic citation
-
Dissertationen zur künstlichen Intelligenz ; Bd. 239
- Keyword
-
Automatisches Beweisverfahren
Nichtklassische Logik
Umkehrfunktion
Konnektionsmethode
Automatisches Beweisverfahren
Klassische Logik
Umkehrfunktion
Konnektionsmethode
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Akad. Verl.-Ges. Aka
- (when)
-
2000
- Creator
- 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, 2:18 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
- Schmitt, Stephan
- Akad. Verl.-Ges. Aka
Time of origin
- 2000
Other Objects (12)
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
A framework for non-classical logics
Interval, probabilistic uncertainty and non-classical logics
Non-classical aspects in proof complexity
Topics in the proof theory of non-classical logics : philosophy and applications
Translation methods for non-classical logics : an overview
Connection calculi for automated theorem proving in classical and non-classical logics
Parameterized complexity of decision problems in non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Shock discontinuities: from classical to non-classical shocks
Automated deduction in classical and non-classical logic : selected papers
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
A framework for non-classical logics
Interval, probabilistic uncertainty and non-classical logics
Non-classical aspects in proof complexity
Topics in the proof theory of non-classical logics : philosophy and applications
Translation methods for non-classical logics : an overview
Connection calculi for automated theorem proving in classical and non-classical logics
Parameterized complexity of decision problems in non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Shock discontinuities: from classical to non-classical shocks
Automated deduction in classical and non-classical logic : selected papers
Classical vs non-classical logics : the universality of classical logic
Natural deduction for non-classical logics
A framework for non-classical logics
Interval, probabilistic uncertainty and non-classical logics
Non-classical aspects in proof complexity
Topics in the proof theory of non-classical logics : philosophy and applications
Translation methods for non-classical logics : an overview
Connection calculi for automated theorem proving in classical and non-classical logics
Parameterized complexity of decision problems in non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Shock discontinuities: from classical to non-classical shocks