Proceedings/Recueil Des Communications
CEUR Workshop Proceedings
Année : 2023
Thomas Sturm : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04307435
Soumis le : dimanche 26 novembre 2023-08:43:52
Dernière modification le : mardi 3 décembre 2024-13:00:08
Dates et versions
Licence
Identifiants
- HAL Id : hal-04307435 , version 1
Citer
Erika Ábrahám, Thomas Sturm. Satisfiability Checking and Symbolic Computation 2023. CEUR Workshop Proceedings, 3455, 2023. ⟨hal-04307435⟩
33
Consultations
0
Téléchargements