TU Darmstadt / ULB / TUbiblio

Termination of theorem proving by reuse

Kolbe, Thomas and Walther, Christoph (1996):
Termination of theorem proving by reuse.
pp. 106-120, 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, 30.07.-03.08.1996, DOI: 10.1007/3-540-61511-3_72,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1996
Creators: Kolbe, Thomas and Walther, Christoph
Title: Termination of theorem proving by reuse
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 13th International Conference on Automated Deduction (CADE-13)
Event Location: New Brunswick, USA
Event Dates: 30.07.-03.08.1996
Date Deposited: 19 Nov 2008 16:00
DOI: 10.1007/3-540-61511-3_72
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