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
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hozzova-2021-Automated Generation of Exam Sheets for Automated Deduction-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Rath, Jakob Automated Generation of Exam Sheets for Automated DeductionInproceedings Konferenzbeitrag 12-Aug-2021
2Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021