共 50 条
- [41] A Novel Dynamic Mobility Management Scheme in LISP Architecture 18TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS (APCC 2012): GREEN AND SMART COMMUNICATIONS FOR IT INNOVATION, 2012, : 67 - 72
- [43] FAST FLOATING-POINT PROCESSING IN COMMON LISP ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1995, 21 (01): : 26 - 62
- [46] Automatic exams management with the Common Lisp HTTP server COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (1-7): : 697 - 698
- [49] A COMMON-LISP IMPLEMENTATION OF AN EXTENDED PROLOG SYSTEM SIGPLAN NOTICES, 1988, 23 (04): : 87 - 102
- [50] Executing in common lisp, proving in ACL2 TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS, 2007, 4573 : 1 - +