Interactive Theorem Proving

Sorry, this product is not currently available to order

Here are some other products you might consider...

Interactive Theorem Proving

Name: Interactive Theorem Proving
SKU: 7936215
Price: 295.00 NZD
Availability: SoldOut

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Format:

Paperback / softback

Series:

Theoretical Computer Science and General Issues

Show Hide Adult Content

Unavailable

Sorry, this product is not currently available to order

Description

This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9-21, 2010) alongside the other FLoC conferences and workshops. ITP combines the communities of two venerable meetings: the TPHOLs c- ference and the ACL2 workshop. The former conference originated in 1988 as a workshop for users of the HOL proof assistant. The ?rst two meetings were at the University of Cambridge, but afterwards they were held in a variety of venues. By 1992, the workshop acquired the name Higher-Order Logic Theorem Proving and Its Applications. In 1996, it was christened anew as Theorem Pr- ing in Higher-Order Logics, TPHOLs for short, and was henceforth organizedas a conference. Each of these transitions broadened the meeting's scope from the original HOL system to include other proof assistants based on forms of high- order logic, including Coq, Isabelle and PVS. TPHOLs has regularly published research done using ACL2 (the modern version of the well-known Boyer-Moore theorem prover), even though ACL2 implements a unique computational form of ?rst-order logic. The ACL2 community has run its own series of workshops since1999. BymergingTPHOLswith the ACL2workshop,weinclude a broader community of researchers who work with interactive proof tools. With our enlarged community, it was not surprising that ITP attracted a record-breaking 74 submissions, each of which was reviewed by at least three Programme Committee members.

Release date NZ

June 30th, 2010

Audience

Professional & Vocational

Contributors

Edited by Lawrence C Paulson
Edited by Matt Kaufmann

Illustrations

82 Illustrations, black and white; XI, 495 p. 82 illus.

Pages

495

Series

Theoretical Computer Science and General Issues

Dimensions

155x236x28

ISBN-13

9783642140518

Product ID

7936215

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Non-Fiction Books:

Interactive Theorem Proving

Sorry, this product is not currently available to order

Interactive Theorem Proving

Format:

Series:

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Interactive Theorem Proving

Sorry, this product is not currently available to order

Get free delivery, exclusive deals, and more^*