TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 3.

Konferenzveröffentlichung

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableau and Integer Programming (Extended Abstract).
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner
Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Analytic Tableaux and Integer Programming.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas (1992)
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach/Germany.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Sat Dec 28 03:10:28 2024 CET generiert.