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
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 1992 |
| Herausgeber: | Fronhöfer, Bertram ; Hähnle, Reiner ; Käufl, Thomas |
| Autor(en): | Hähnle, Reiner |
| Art des Eintrags: | Bibliographie |
| Titel: | Analytic Tableau and Integer Programming (Extended Abstract) |
| Sprache: | Deutsch |
| Publikationsjahr: | 1992 |
| Veranstaltungstitel: | 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 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 27 Apr 2018 10:54 |
| Letzte Änderung: | 27 Apr 2018 10:54 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum