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
Author:  Schoisswohl, Johannes

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu-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