Title: Interactive Theorem Proving
            
                Lecture Notes in Computer Science  Theoretical Computer Sci
Subjects: Automatic theorem proving, Congresses, Software engineering, Data protection, Logic design, Artificial intelligence