TU Darmstadt / ULB / TUbiblio

Reasoning about incompletely defined programs

Walther, Christoph and Schweitzer, Stephan (2005):
Reasoning about incompletely defined programs.
pp. 427-442, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), Montego Bay, Jamaica, 02.-06.12., ISSN 978-3-540-30553-8,
DOI: 10.1007/11591191_30,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Walther, Christoph and Schweitzer, Stephan
Title: Reasoning about incompletely defined programs
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005)
Event Location: Montego Bay, Jamaica
Event Dates: 02.-06.12.
Date Deposited: 20 Nov 2008 08:22
DOI: 10.1007/11591191_30
Official URL: https://link.springer.com/chapter/10.1007/11591191_30
License: [undefiniert]
Corresponding Links:
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