MPG.eBooks - Search Results - "Logic"

Cover Image

1

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

by Shoham, Sharon
Published 2022

Springer Nature

Subjects: “...formal logic...”

Cover Image

2

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

by Shoham, Sharon
Published 2022

Springer Nature

Subjects: “...formal logic...”

Cover Image

3

Advanced Mobile Robotics: Volume 2

by Kim, DaeEun
Published 2020

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...expansion logic strategy...”

Cover Image

4

Advanced Mobile Robotics: Volume 3

by Kim, DaeEun
Published 2020

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...expansion logic strategy...”

Cover Image

5

Advanced Mobile Robotics: Volume 1

by Kim, DaeEun
Published 2020

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...expansion logic strategy...”