Higher Order Logic Theorem Proving and Its Applications PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Higher Order Logic Theorem Proving and Its Applications PDF full book. Access full book title Higher Order Logic Theorem Proving and Its Applications by Jeffrey J. Joyce. Download full books in PDF and EPUB format.

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications PDF Author: Jeffrey J. Joyce
Publisher: Springer Science & Business Media
ISBN: 9783540578260
Category : Computers
Languages : en
Pages : 538

Book Description
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".
➤