Search Results
Showing 41 - 50 of 236 results
Search Results
Logic based program synthesis and transformation
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63 .L69 2003 | ✔ Available |
Extensions of logic programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63.E97 1989 | ✔ Available |
Logic program synthesis and transformation-- Meta-programming in Logic
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63 .I57 1994 | ✔ Available |
Inductive logic programming
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.63 .I52 2000 | ✔ Available |