TU Darmstadt / ULB / TUbiblio

Combining Induction Axioms by Machine

Walther, Christoph
ed.: Bajcsy, Ruzena (1993)
Combining Induction Axioms by Machine.
Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-13). Chambery, France (28.08.1993-03.09.1993)
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1993
Editors: Bajcsy, Ruzena
Creators: Walther, Christoph
Type of entry: Bibliographie
Title: Combining Induction Axioms by Machine
Language: English
Date: 1993
Event Title: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-13)
Event Location: Chambery, France
Event Dates: 28.08.1993-03.09.1993
URL / URN: https://www.ijcai.org/Proceedings/93-1/Papers/014.pdf
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 28 Jul 2020 08:21
Last Modified: 28 Jul 2020 08:21
PPN:
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