Proceedings of CADE 2021

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of CADE 2021
 
ISBN
978-3-030-79876-5
 
Publisher Herausgeber
Springer, Cham
 
DOI
10.1007/978-3-030-79876-5
 

Publications Publikationen

Filter:
Author:  Hozzova, Petra

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

PreviewAuthor(s)TitleTypeIssue Date
1Hozzova-2021-Integer Induction in Saturation-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Integer Induction in SaturationInproceedings Konferenzbeitrag 29-Jul-2021