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 |
Options (only for editors)
Show editorial Details |