- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832500702
3832500707
- Dimensions
-
21 cm
- Extent
-
X, 179 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 2002
- Keyword
-
Automatisches Beweisverfahren
Tableau
Erfüllbarkeitsproblem
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2002
- Creator
-
Stenz, Gernot
- 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:19 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
- Stenz, Gernot
- Logos-Verl.
Time of origin
- 2002
Other Objects (12)
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
S(M, g)-pseudo-differential calculus with spectral invariance on IRn and manifolds for Banach function spaces
Theater als akustischer Raum, Buch.
The realism antirealism debate in the philosophy of science
Assessing the effects of openness on poverty - are the critics right?
Institutional effectiveness in international regimes : an analysis of the effectiveness of the nuclear non-proliferation regime coping with the political malignity in the case of Iran
Hybridization of the transmission-line-matrix method (TLM) with the integral equation method for the analysis of electromagnetic coupling
Poverty, inequality and the non-farm economy : the case of rural Vietnam
Perceiving complex objects : a comparison of the visual and the haptic modalities
Enantioseparation via SMB chromatography : a study of Tröger's base unique adsorption behavior and the influence of heterogeneity of the column set on the performance of the SMB process
Investigation on the thermal decomposition of cyclic hydrocarbons with the shock tube technique
The influence of computers, the internet and computer-mediated communication on everyday English
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
S(M, g)-pseudo-differential calculus with spectral invariance on IRn and manifolds for Banach function spaces
Theater als akustischer Raum, Buch.
The realism antirealism debate in the philosophy of science
Assessing the effects of openness on poverty - are the critics right?
Institutional effectiveness in international regimes : an analysis of the effectiveness of the nuclear non-proliferation regime coping with the political malignity in the case of Iran
Hybridization of the transmission-line-matrix method (TLM) with the integral equation method for the analysis of electromagnetic coupling
Poverty, inequality and the non-farm economy : the case of rural Vietnam
Perceiving complex objects : a comparison of the visual and the haptic modalities
Enantioseparation via SMB chromatography : a study of Tröger's base unique adsorption behavior and the influence of heterogeneity of the column set on the performance of the SMB process
Investigation on the thermal decomposition of cyclic hydrocarbons with the shock tube technique
The influence of computers, the internet and computer-mediated communication on everyday English
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
S(M, g)-pseudo-differential calculus with spectral invariance on IRn and manifolds for Banach function spaces
Theater als akustischer Raum, Buch.
The realism antirealism debate in the philosophy of science
Assessing the effects of openness on poverty - are the critics right?
Institutional effectiveness in international regimes : an analysis of the effectiveness of the nuclear non-proliferation regime coping with the political malignity in the case of Iran
Hybridization of the transmission-line-matrix method (TLM) with the integral equation method for the analysis of electromagnetic coupling
Poverty, inequality and the non-farm economy : the case of rural Vietnam
Perceiving complex objects : a comparison of the visual and the haptic modalities
Enantioseparation via SMB chromatography : a study of Tröger's base unique adsorption behavior and the influence of heterogeneity of the column set on the performance of the SMB process
Investigation on the thermal decomposition of cyclic hydrocarbons with the shock tube technique