Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics
Latest Publications


TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540440390, 9783540456858

Sign in / Sign up

Export Citation Format

Share Document