TU Darmstadt / ULB / TUbiblio

Improvements in Formula Generalization

Aderhold, Markus :
Improvements in Formula Generalization.
In: Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings / Frank Pfenning (ed.). - Berlin [u.a.] : Springer, 2007, S. 231-246 (Lecture notes in computer science ; 4603 : Lectur . Springer , Berlin [u.a.]
[Konferenz- oder Workshop-Beitrag], (2007)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2007
Autor(en): Aderhold, Markus
Titel: Improvements in Formula Generalization
Sprache: Englisch
Reihe: Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007 ; proceedings / Frank Pfenning (ed.). - Berlin [u.a.] : Springer, 2007, S. 231-246 (Lecture notes in computer science ; 4603 : Lectur
Ort: Berlin [u.a.]
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen