Cover Image
Read Now

1
Published 2023
Springer Nature Switzerland
Subjects: “...Logic programming...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Subjects: “...Logic programming...”
Cover Image
Read Now

3
Published 2011
Springer Berlin Heidelberg
“... for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“... procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time...”