Higher Order Logic Theorem Proving and Its Applications

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

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

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

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

275.77 lei

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theo...

Informații despre carte

Autor

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

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1995

Pagini

408

EAN

9783540602750

ISBN

3540602755

Enbook ID

01566006

Editura

Springer, Berlin

Greutate

547

Dimensiuni

156 x 234 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Higher Order Logic Theorem Proving and Its Applications

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și