UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6105
DCS Tech Report Number: NS-96-7

Some Research Issues in Higher Order Logic Theorem Proving
Melham,T.F.

Publication Type: Tech Report (internal)
Appeared in: DCS Tech Report
Page Numbers :
Publisher: N/A
Year: 1996
Abstract:

No abstract available.


Bibtex entry Endnote XML