Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM)
Book title Buchtitel
Proceedings of the 13th International Conference on Intelligent Computer Mathematics (CICM)
ISBN
978-3-030-53517-9
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-030-53518-6
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
12236
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Hajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei | Induction with Generalization in Superposition Reasoning | Inproceedings Konferenzbeitrag    | 26-Jul-2020 |