TU Darmstadt / ULB / TUbiblio

Improvements in Formula Generalization

Aderhold, Markus (2007):
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, Berlin [u.a.], Springer, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Creators: Aderhold, Markus
Title: Improvements in Formula Generalization
Language: English
Series Name: 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
Place of Publication: Berlin [u.a.]
Publisher: Springer
Divisions: 20 Department of Computer Science
Date Deposited: 20 Nov 2008 08:24
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details