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 for author "Hanus, Michael."
Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1569 Offsite Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1239 Offsite Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A36 1996 Off-site Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds.
- Text
- New York : Springer-Verlag, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A335 1997 Off-site Practical aspects of declarative languages : 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings / Michael Hanus (ed.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .P32 2007g Off-site Logic-based Program Synthesis and Transformation : 18th international Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers / Michael Hanus. (ed.)
- Text
- Berlin ; New York : Springer, 2008.
- 2009
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .L69 2008g Off-site Applications of declarative programming and knowledge management : 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007 : revised selected papers / Dietmar Seipel, Michael Hanus, Armin Wolf (eds.).
- Text
- Berlin ; New York : Springer, 2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text QA76.615 .I57 2007g Off-site Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A36 1996 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.
