Hochschulschrift
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783931327477
3931327477
9783831683765
- Dimensions
-
21 cm
- Extent
-
163 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: München, Univ. der Bundeswehr, Diss., 1996
- Keyword
-
Aussagenlogik
Horn-Klausel
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Utz, Wiss.
- (when)
-
1996
- Creator
-
Schreiber, Joachim F.
- 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:12 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
- Schreiber, Joachim F.
- Utz, Wiss.
Time of origin
- 1996
Other Objects (12)
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Untersuchung des Wärmeübergangs bei der Partialkondensation mittels linearer Ramanspektroskopie
Aufbau einer linearen Quadrupolfalle zur Beobachtung von Quantenphänomenen gespeicherter Ionen
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Minimax-Schätzer für Schätz- und Testverfahren im linearen Regressionsmodell bei Vorinformation
Numerical treatment of a linear model of crystal growth in a vertical bridgman device
Distributed parallel solution of very large systems of linear equations in the finite element method
Allgemeine Feedback-vertex-set-Probleme
Breviarium oecumenicum in linguis originalibus
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Rapid-Technologien : Anspruch - Realität - Zukunft : Augsburg, 11. Juli 2002
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Untersuchung des Wärmeübergangs bei der Partialkondensation mittels linearer Ramanspektroskopie
Aufbau einer linearen Quadrupolfalle zur Beobachtung von Quantenphänomenen gespeicherter Ionen
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Minimax-Schätzer für Schätz- und Testverfahren im linearen Regressionsmodell bei Vorinformation
Numerical treatment of a linear model of crystal growth in a vertical bridgman device
Distributed parallel solution of very large systems of linear equations in the finite element method
Allgemeine Feedback-vertex-set-Probleme
Breviarium oecumenicum in linguis originalibus
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Rapid-Technologien : Anspruch - Realität - Zukunft : Augsburg, 11. Juli 2002
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Untersuchung des Wärmeübergangs bei der Partialkondensation mittels linearer Ramanspektroskopie
Aufbau einer linearen Quadrupolfalle zur Beobachtung von Quantenphänomenen gespeicherter Ionen
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Minimax-Schätzer für Schätz- und Testverfahren im linearen Regressionsmodell bei Vorinformation
Numerical treatment of a linear model of crystal growth in a vertical bridgman device
Distributed parallel solution of very large systems of linear equations in the finite element method
Allgemeine Feedback-vertex-set-Probleme
Breviarium oecumenicum in linguis originalibus
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)