TU Darmstadt / ULB / TUbiblio

Reusing Proofs

Kolbe, Thomas and Walther, Christoph (1994):
Reusing Proofs.
pp. 80-84, ECAI'94: 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, 08.-12.08., [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1994
Creators: Kolbe, Thomas and Walther, Christoph
Title: Reusing Proofs
Language: English
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: ECAI'94: 11th European Conference on Artificial Intelligence
Event Location: Amsterdam, Netherlands
Event Dates: 08.-12.08.
Date Deposited: 30 Mar 2020 09:11
Official URL: https://www.semanticscholar.org/paper/Reusing-Proofs-Kolbe-W...
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