- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832500702
3832500707
- Maße
-
21 cm
- Umfang
-
X, 179 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 2002
- Schlagwort
-
Automatisches Beweisverfahren
Tableau
Erfüllbarkeitsproblem
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2002
- Urheber
-
Stenz, Gernot
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:19 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Stenz, Gernot
- Logos-Verl.
Entstanden
- 2002
Ähnliche Objekte (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