BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
Stock photo: cover may vary

Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms Paperback - 2010

by Bortin, Maksym

Add to wish list
  • New
  • Paperback
New

Description

Logos Verlag Berlin, 2010. paperback. New. 105x8x150.
Ask the seller a question Add to wish list
A$86.70
A$7.21 Delivery within USA
Standard delivery: 5 to 7 days
More delivery options
Ships from ISD (Connecticut, United States)

Details

  • Title Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
  • Author Bortin, Maksym
  • Binding Paperback
  • Condition New
  • Pages 235
  • Volumes 1
  • Language ENG
  • Publisher Logos Verlag Berlin
  • Publication date 2010
  • Bookseller's Inventory # 368821
  • ISBN 9783832525026 / 3832525025
  • Weight 0.9 lbs (0.41 kg)
  • Dimensions 9.4 x 6.6 x 0.5 in (23.88 x 16.76 x 1.27 cm)
  • Size 105x8x150
  • Category Computers - General Information
  • Quantity available 1

About ISD Connecticut, United States

Biblio member since 2014

We sell a large range of scholarly books, largely from continental European publishers.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from ISD

Reader reviews for Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms

From the publisher

General purpose theorem provers provide sophisticated proof methods, and become valuable tools in, e.g. formal software development. Of particular interest here are proof systems with the LCF architecture, developing large theories from a small logical kernel, because this approach simplifies the validation of derived results. On the other hand, such provers often lack some of advanced structuring mechanisms found in specification languages. This thesis firstly gives a formal foundation for a seamless extension of a logical framework by similar mechanisms, and secondly presents an elaborated case study in the LCF-style theorem prover Isabelle, employing the introduced concepts of morphisms and instantiation of theories in-the-large.
tracking-