Higher order logic theorem proving and its applications
Carl-Johan H. Seger, Jeffrey J. Joyce · 1994
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
About the book
"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"."--PUBLISHER'S WEBSITE.
Book details
- Year
- 1994
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 518
- ISBN
- 9780387578262
Data source: Wikidata