Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

Lecture Notes in Computer Science Ser.: Learning Software Organizations : Method

Lecture Notes in Computer Science Ser.: Using Sophisticated Models in Resolution

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Theorem Proving in Higher Order Logics : 9th International Confer

Lecture Notes in Computer Science Ser.: Graph Transformations by H Ehrig SC

Lecture Notes in Computer Science Ser.: International Symposium on Programming :

Theorem proving in higher order logics: 12th international conference; proceedin