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

Skip to content

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

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

by Maksym Bortin

Add to wish list

Reader reviews for An N 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.

Details

  • Title An N Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
  • Author Maksym Bortin
  • Binding Paperback
  • Pages 235
  • Volumes 1
  • Language ENG
  • Publisher Logos Verlag Berlin
  • Publication date 2010
  • 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)
  • Category Computers - General Information

More Copies for Sale

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

by Bortin, Maksym

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783832525026 / 3832525025
Quantity available
1
Seller
Item price
A$87.11
A$7.24 Delivery to USA

Show details

Description:
Logos Verlag Berlin, 2010. paperback. New. 105x8x150.
Add to wish list
Item price
A$87.11
A$7.24 Delivery to USA
An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
Stock photo: cover may vary

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

by Bortin, Maksym

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783832525026 / 3832525025
Quantity available
1
Seller
Item price
A$256.98
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$256.98
Free Delivery to USA