TU Darmstadt / ULB / TUbiblio

Combining Induction Axioms by Machine

Walther, Christoph Bajcsy, Ruzena (ed.) (1993):
Combining Induction Axioms by Machine.
pp. 95-101, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-13), Chambery, France, 28.08.- 03.09.1993, ISBN 1-55860-300-X,
[Conference or Workshop Item]

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