Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results
A computational logic handbook / Robert S. Boyer, J Strother Moore.
- Text
- Boston : Academic Press, ©1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 B684 1988 Off-site Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .I55 1992 Off-site Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D337 I58 1994 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.
