VSL 2014: VIENNA SUMMER OF LOGIC 2014

Higher-Order Automated Theorem Provers

Author: Christoph Benzmüller

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Higher-Order Automated Theorem Provers
Authors:Christoph Benzmüller
Proceedings:APPA 2014 VSL Proceedings
Editors: Bruno Woltzenlogel Paleo and David Delahaye
Keywords:
Abstract:
Pages:28
Talk:Jul 18 11:15
Paper:
Disclaimer | Powered by EasyChair Smart Program