Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings
Book title Buchtitel
Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings
ISBN
978-3-030-81097-9
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-030-81097-9
Series Schriftenreihe
Lecture Notes in Computer Science (LNCS)
Volume Band
12833
Access Type
Subject
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Hozzova, Petra ; Kovacs, Laura ; Rath, Jakob | Automated Generation of Exam Sheets for Automated Deduction | Inproceedings Konferenzbeitrag ![]() ![]() ![]() ![]() | 12-Aug-2021 |
2 | ![]() | Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei | Inductive Benchmarks for Automated Reasoning | Inproceedings Konferenzbeitrag ![]() ![]() ![]() ![]() | 12-Aug-2021 |