Ergebnis der Datenbankabfrage
Nr. | Titel | Autor | Jahr |
---|---|---|---|
1 | Extraction of a computer-certified SMT solver for nonlinear theories | Devadze, Grigory* et al. | 2023 |
2 | Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering | Munser, Lukas* et al. | 2020 |
Anzahl der Ergebnisseiten: | 1 |
Anzahl der Dokumente: | 2 |