TU Darmstadt / ULB / TUbiblio

Reasoning about incompletely defined programs

Walther, Christoph ; Schweitzer, Stephan :
Reasoning about incompletely defined programs.
In: Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005; proceedings / Geoff Sutcliffe ... (eds.). - Berlin ; Heidelberg [u.a.] : Springer, 2005, S. 427-442 (Lect . Springer , Berlin ; Heidelberg [u.a.]
[Konferenz- oder Workshop-Beitrag], (2005)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2005
Autor(en): Walther, Christoph ; Schweitzer, Stephan
Titel: Reasoning about incompletely defined programs
Sprache: Deutsch
Reihe: Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005; proceedings / Geoff Sutcliffe ... (eds.). - Berlin ; Heidelberg [u.a.] : Springer, 2005, S. 427-442 (Lect
Ort: Berlin ; Heidelberg [u.a.]
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 20 Nov 2008 08:22
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen