Design and Application of Strategies/Tactics in Higher Order Logics

Design and Application of Strategies/Tactics in Higher Order Logics
Author :
Publisher :
Total Pages : 120
Release :
ISBN-10 : NASA:31769000474570
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Design and Application of Strategies/Tactics in Higher Order Logics by : Myla Archer

Download or read book Design and Application of Strategies/Tactics in Higher Order Logics written by Myla Archer and published by . This book was released on 2003 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Design and Application of Strategies/Tactics in Higher Order Logics Related Books

Design and Application of Strategies/Tactics in Higher Order Logics
Language: en
Pages: 120
Authors: Myla Archer
Categories:
Type: BOOK - Published: 2003 - Publisher:

GET EBOOK

Interactive Theorem Proving
Language: en
Pages: 505
Authors: Matt Kaufmann
Categories: Computers
Type: BOOK - Published: 2010-07-13 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 20
Verified Functional Programming in Agda
Language: en
Pages: 285
Authors: Aaron Stump
Categories: Computers
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool

GET EBOOK

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t
Automated Reasoning with Analytic Tableaux and Related Methods
Language: en
Pages: 488
Authors: Serenella Cerrito
Categories: Computers
Type: BOOK - Published: 2019-08-22 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, hel
Automated Reasoning
Language: en
Pages: 493
Authors: Christoph Benzmüller
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK