T. F. Melham's Documents

T. F. Melham's Documents

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (No. 31))

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (No. 31))
Read more
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Read more
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: ... 7th

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: ... 7th
Read more
Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005

Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005
Read more
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September
Read more
First Lies

First Lies
Read more
Measuring Second Language Performance (Applied Linguistics and Language Study)

Measuring Second Language Performance (Applied Linguistics and Language Study)
Read more
A family saga Volume Two

A family saga Volume Two
Read more
The Emperor's Assassin

The Emperor's Assassin
Read more
The Desert King

The Desert King
Read more
Stress burnout: an annotated bibliography

Stress burnout: an annotated bibliography
Read more
The Thief Taker

The Thief Taker
Read more
The Texas legacy of Katherine Anne Porter

The Texas legacy of Katherine Anne Porter
Read more
The Emperor's Assassin

The Emperor's Assassin
Read more
The Drama of John Marston: Critical Re-Visions

The Drama of John Marston: Critical Re-Visions
Read more
Musings of A Chinese Gourmet

Musings of A Chinese Gourmet
Read more
The kidnapped couple

The kidnapped couple
Read more
A Family Saga, Vol 01

A Family Saga, Vol 01
Read more
Fundamentals of Manufacturing For Engineers

Fundamentals of Manufacturing For Engineers
Read more
Large Sparse Numerical Optimization

Large Sparse Numerical Optimization
Read more
The Thief Taker

The Thief Taker
Read more
Royal Priesthood: A Theology of Ordained Ministry

Royal Priesthood: A Theology of Ordained Ministry
Read more
Model Theory of Holomorphic Functions

Model Theory of Holomorphic Functions
Read more
Synthesis of Highly Active Ruthenium Indenylidene Complexes for Atom-Transfer Radical Polymerization and Ring-Opening- Metathesis Polymerization

Synthesis of Highly Active Ruthenium Indenylidene Complexes for Atom-Transfer Radical Polymerization and Ring-Opening- Metathesis Polymerization
Read more
Our Reason for Hope: An Exposition of the Old Testament on the Meaning of History

Our Reason for Hope: An Exposition of the Old Testament on the Meaning of History
Read more
Colloquial Arabic

Colloquial Arabic
Read more
Thermal Analysis: Fundamentals and Applications to Polymer Science

Thermal Analysis: Fundamentals and Applications to Polymer Science
Read more
Nightwork: A History of Hacks and Pranks at MIT

Nightwork: A History of Hacks and Pranks at MIT
Read more
Immunoglobulin Genes

Immunoglobulin Genes
Read more
Specialty Optical Fibers Handbook

Specialty Optical Fibers Handbook
Read more