Intelligent Computer Mathematics. 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Filter:
Author:  Hozzova, Petra

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