Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci

Name: Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
Author: Lennart Beringer

No description available.

Automatic theorem provingCongressesSoftware engineeringData protectionLogic designArtificial intelligence