Search Results
You searched for:
subject
"Automatic theorem proving+Computer programs."
Remove constraint
Showing 1 - 10 of 24 results
Search Results
Types for proofs and programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T97 1994 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
Types for proofs and programs
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T96 2004 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
/LC.GIF&client=easterncarolinaedu)
 ;/LC.GIF&client=easterncarolinaedu)
The Programming and proof systems ATES
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.6.P75138 1991 | ✔ Available |
/LC.GIF&client=easterncarolinaedu)