Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results for author "Dowek, Gilles."
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1380 Offsite Not available - Please for assistance.Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek [and others] (eds.).
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA267 .H484 1996 Off-site Not available - Please for assistance.Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Nsw, Australia, August 12-15, 2008 : proceedings / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
- Text
- Berlin ; New York : Springer, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 I38 2008g Off-site Not available - Please for assistance.Le temps des algorithmes / Serge Abiteboul et Gilles Dowek.
- Text
- Paris : Éditions Le Pommier, [2017]
- 2017
- 1 Item
Item details Format Call Number Item Location Text QA9.58 .A23 2017 Off-site Not available - Please for assistance.Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.] (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA267 .H484 1996 Off-site Not available - Please for assistance.
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.
