Proceedings of CADE 2021
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
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei | Integer Induction in Saturation | Inproceedings Konferenzbeitrag    | 29-Jul-2021 |