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 "Gallier, Jean H."
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Text
- New York, NY : Harper & Row, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-2841 Offsite Geometric methods and applications : for computer science and engineering / Jean Gallier.
- Text
- New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-116 Offsite Curves and surfaces in geometric modeling : theory and algorithms / Jean Gallier.
- Text
- San Francisco, Calif. : Morgan Kaufmann Publishers, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA567 .G28 2000 Off-site Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Text
- New York, NY : Harper & Row, [1986], ©1986.
- 1986-1986
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 G35 1986 Off-site Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
- Text
- New York, NY : Harper & Row, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 G35 1986 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
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.
