Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
Cover Image
Read Now

2
Published 2016
Springer International Publishing
Table of Contents: “... and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
Table of Contents: “... and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods...”