Thomas F. Melham's Books

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

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.

This two-volume set contains papers presented at the International Conference on Computational Engineering Science (ICES '95) held in Mauna Lani, Hawaii from 30 July to 3 August, 1995. The contributions capture the state of the science in computational modeling and simulation in a variety of engineering disciplines: civil, mechanical, aerospace, materials and electronics engineering.

Book's by Thomas F. Melham

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

Theorem Provers in Circuit Design

Theorem Provers in Circuit Design

Username

Password

Username

Password

Password again

Birthday

Email