Search Results
Showing 41 - 50 of 92 results
Search Results
A practical formal semantic definition and verification system for TYPED LISP
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.L23 C37 1980 | ✔ Available |
A prototype Lisp-based soft real-time object-oriented graphical user interface for control system development
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | NAS 1.15:106743 | ✔ Available |
Paradigms of artificial intelligence programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6.N687 1992 | ✔ Available |