Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer, Berlin
SKU: 9783540633792
Price: 1147 CZK
Availability: InStock

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Autor: Amy Felty, Elsa L. Gunter

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi...

Informace o knize

Autor

Amy Felty, Elsa L. Gunter

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1998

Stránek

346

EAN

9783540633792

ISBN

3540633790

Enbook ID

05274732

Vydavatel

Springer, Berlin

Hmotnost

460

Rozměry

156 x 234 x 18

Kompletní popis

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také