1
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Subjects: ...Automated and Formal Reasoning...

2
by Piskac, Ruzica
Published 2021
TU Wien Academic Press
Subjects: ..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...

3
by Gracia, Luis
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...mining automation...

4
by Cruz, Sérgio
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...automation...

5
by Cruz, Sérgio
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...automation...

6
by Georgantzinos, Stelios K.
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...automated fiber placement...