Search Results
Showing 1 - 4 of 4 results
Search Results
Logic based program synthesis and transformation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63 .L69 2005 | ✔ Available |
The Gödel programming language
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.73.G17 H55 1994 | ✔ Available |