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

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Directed Automated Theorem Proving -- A Framework for Splitting BDI Agents -- On the Complexity...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Proving Church’s Thesis -- The Limits of Quantum Computers -- Marrying Words and Trees -- TPTP...”
Cover Image
Read Now

3
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for RDF Knowledge Bases -- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring...”