Tom Melham
Identifiers
- Open LibraryOL6432699A
Top Subjects
- Automatic theorem proving (1)
- Logic, symbolic and mathematical (1)
Books by Tom Melham
Total count: 5
-
JOHN MUIR'S WILD AMERICANational Geographic Society1978-01-01
-
Great American JourneysNational Geographic Society1989-01-01
-
Alaska's Wildlife TreasuresNational Geographic Society1991-01-01
-
Correct Hardware Design and Verification Methods11th IFIP WG 10. 5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 ProceedingsSpringer London, Limited2003-01-01
-
Theorem Proving in Higher Order Logics18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, ProceedingsSpringer London, Limited2005-01-01