Hochschulschrift
Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783931327477
3931327477
9783831683765
- Maße
-
21 cm
- Umfang
-
163 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: München, Univ. der Bundeswehr, Diss., 1996
- Schlagwort
-
Aussagenlogik
Horn-Klausel
Automatisches Beweisverfahren
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Utz, Wiss.
- (wann)
-
1996
- Urheber
-
Schreiber, Joachim F.
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:12 MESZ
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
- Schreiber, Joachim F.
- Utz, Wiss.
Entstanden
- 1996
Ähnliche Objekte (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)