Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-8 of 8 results
Logic for problem solving / Robert Kowalski.
- Text
- New York : Elsevier North Holland, ©1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA63 .K68 Off-site Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Text
- New York, NY : Harper & Row, ©1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 G35 1986 Off-site Using sophisticated models in resolution theorem proving / David M. Sandford.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 xS26 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 Deduktionssysteme : Automatisierung des logischen Denkens / herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius [and others].
- Text
- München : R. Oldenbourg, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 D43 1992 Off-site Automated deduction in multiple-valued logics / Reiner Hähnle.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 H34 1993 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 Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text Q387 .F68 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.
