- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897227675
3897227673
- Dimensions
-
24 cm
- Extent
-
X, 132 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Univ., Diss., 2001
- Keyword
-
Intuitionistische Logik
Aussagenlogik
Beweis
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2001
- Creator
-
Weich, Klaus
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:04 PM CET
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
- Weich, Klaus
- Logos-Verl.
Time of origin
- 2001
Other Objects (12)
Proof theory
Modal logic
Logic and computations
Extending BPMN with deontic logic
Improving predictions of tree structured algorithms
Linear logic based calculi for object Petri nets
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic
Parallel Monte-Carlo tree search for HPC systems and its application to computer go
Turkey, Germany and the wars in Yugoslavia : a search for reconstruction of state identities?
Proof theory
Modal logic
Logic and computations
Extending BPMN with deontic logic
Improving predictions of tree structured algorithms
Linear logic based calculi for object Petri nets
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic
Parallel Monte-Carlo tree search for HPC systems and its application to computer go
Turkey, Germany and the wars in Yugoslavia : a search for reconstruction of state identities?
Proof theory
Modal logic
Logic and computations
Extending BPMN with deontic logic
Improving predictions of tree structured algorithms
Linear logic based calculi for object Petri nets
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Proof Search in Multi-Agent Dialogues for Modal Logic
Proof search in multi-agent dialogues for modal logic
Parallel Monte-Carlo tree search for HPC systems and its application to computer go