banner of electronic resources

ACL2 : ACL2 Theorem Prover and Its Applications

Click to start searching via ACM Digital Library
Broad Subject Computer science
Subject Automatic theorem proving - Congresses - Databases
Computer logic - Congresses - Databases
Publisher Association for Computing Machinery
Language English
Warning: Use of the files is restricted to purposes of research and education only. Other uses and excessive downloading are strictly prohibited. Violators will lose library privileges, face disciplinary actions and may be prosecuted.
Available at :
Click to start searching via ACM Digital Library
Authorized remote access from Current HKU staff and students
Format Article Databases
Location Web Mounted
No. of users 3

 

* Tips on accessing HKUL E-resources
Top