TU Darmstadt / ULB / TUbiblio

About VeriFun

Walther, Christoph ; Schweitzer, Stephan :
About VeriFun.
In: Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings / Franz Baader (ed.).- Berlin [u.a.] : Springer, 2003.- XII, 502 S.- (Lecture notes in computer science ; 274 . Springer , Berlin [u.a.]
[Konferenz- oder Workshop-Beitrag], (2003)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2003
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: About VeriFun
Sprache: Deutsch
Reihe: Automated deduction : CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings / Franz Baader (ed.).- Berlin [u.a.] : Springer, 2003.- XII, 502 S.- (Lecture notes in computer science ; 274
Ort: Berlin [u.a.]
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:18
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen