Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-6 of 6 results for author "Wos, Larry."
Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 84-853 Offsite Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
- Text
- Cambridge, Mass. : MIT Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 99-838 Offsite Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
- Text
- Cambridge, Mass. : MIT Press, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 A918 1997 Off-site Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 A93 1984 Off-site Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
- Text
- Cambridge, Mass. : MIT Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 A918 1997 Off-site Automated reasoning : introduction and applications / Larry Wos ... [et al.].
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.A96 A93 1984 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
