Integrating Gandalf and HOL

Joe Hurd

461 Second Edition INTEGRATING GANDALF AND HOL by Joe Hurd May 1999 University of Cambridge Computer Laboratory New Museums Site Pembroke Street Cambridge CB2 3QG England Telephone Cambridge (01223) 334600 ...

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB