Search Results
Showing 41 - 50 of 9882 results
Search Results
Virginia, Dahlgren, naval proving ground field
| Location | Call # | Status |
|---|---|---|
| Joyner - Microforms B300 | CIS US EXEC MF W87.21-1.209 | ✔ Available |
Symbolic logic and mechanical theorem proving
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA9 .C483 | ✔ Available |
Bahamas long range proving ground
| Location | Call # | Status |
|---|---|---|
| Joyner - Fed Docs Stacks | ASK AT REFERENCE DESK | ✔ Available |
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 I577 1997 | ✔ Available |
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 1999 | ✔ Available |
Theorem proving in higher order logics
| Location | Call # | Status |
|---|---|---|
| Joyner - General Stacks | QA76.9.A96 T655 2003 | ✔ Available |