Showing 1 - 1 results of 1 for search 'Melham, Tom', query time: 0.08s Refine Results
1
Theorem Proving in Higher Order Logics
by Hurd, Joe, Melham, Tom
Published 2020
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search