Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
Brand: Springer, Berlin
SKU: 9783540602750
Price: 1147 CZK
Availability: InStock

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Autor: E. Th. Schubert, Phillip J. Windley, James Alves-Foss

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 proceedings of the 8th International Conference on Higher Order Logic Theo...

Informace o knize

Autor

E. Th. Schubert, Phillip J. Windley, James Alves-Foss

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1995

Stránek

408

EAN

9783540602750

ISBN

3540602755

Enbook ID

01566006

Vydavatel

Springer, Berlin

Hmotnost

547

Rozměry

156 x 234 x 21

Kompletní popis

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.

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

Higher Order Logic Theorem Proving and Its Applications

8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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