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 for author "Treinen, Ralf."
Constraints in computational logics : theory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2002.htmItem details Format Call Number Item Location Text JSE 01-395 Offsite Constraints in computational logics : theory and applications / Hubert Comon, Claude Marché, Ralf Treinen (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.612 .C693 2001 Off-site Rewriting techniques and applications : 20th International Conference, RTA 2009, Brasilia, Brazil, June 29-July 1, 2009 : proceedings / Ralf Treinen (ed.)
- Text
- Berlin ; New York : Springer, 2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text QA267 .I555 2009g 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.
