I am using AKCL for a project and need a AKCL manual.
Will anybody kindly tell me where I can get one by ftp?
Thanks.
--------------------------------------------------------------------------
| GUI Yexuan | |
| | Phone: |
| Logic and Formal Methods Laboratory | (514) 848-3052 |
| Concordia University, ER-400-10 | |
| Montreal, Quebec H3G 1M8 | E-mail: |
| Canada | ยทยทยท@cs.concordia.ca |
--------------------------------------------------------------------------