Aderhold, Markus (2007)
Improvements in Formula Generalization.
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2007 |
| Autor(en): | Aderhold, Markus |
| Art des Eintrags: | Bibliographie |
| Titel: | Improvements in Formula Generalization |
| Sprache: | Englisch |
| Publikationsjahr: | 2007 |
| Ort: | Berlin [u.a.] |
| Verlag: | Springer |
| 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 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 20 Nov 2008 08:24 |
| Letzte Änderung: | 07 Aug 2015 12:06 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum