TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 91 records were found in 0.375 seconds
Handbook of Practical Logic and Automated Reasoning
Cambridge University Press, ISBN: 978-0-521-89957-4I-XIX, 1-681, 2009
Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
ISBN: 3-540-34166-83967, 2006
Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings
ISBN: 3-540-67863-81869, 2000
Theorem proving with the real numbers
Springer,, CPHC/BCS distinguished dissertations, ISBN: 978-3-540-76256-0I-XII, 1-186, 1998
Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
ISBN: 3-540-61587-31125, 1996
Experience with Embedding Hardware Description Languages in HOL
TPCD, 129-156, 1992
Constructing the real numbers in HOL
TPHOLs, 145-164, 1992