Suggested Topics within your search.
Suggested Topics within your search.
1
2
Published 2013
Table of Contents: ';
“... -- Certifying Voting Protocols -- Invited Tutorials.-Counterexample Generation Meets Interactive Theorem Proving...”Get full text
Electronic
3
4
Published 2013
Table of Contents: ';
“... of Theorem Proving in Autoepistemic Logic -- Parameterized Complexity -- Local Backbones -- Upper and Lower...”Get full text
Electronic
5
Published 2013
Table of Contents: ';
“... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”Get full text
Electronic
6
7
Published 2013
Table of Contents: ';
“...-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH <U+0013> A...”Get full text
Electronic