Library Services | Technical University of Kenya catalog › Results of search for 'au:"Hanus, Michael."'

Your search returned 4 results.

	1.	Applications of Declarative Programming and Knowledge Management [electronic resource] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein. by Seipel, Dietmar \| Hanus, Michael \| Geske, Ulrich \| Bartenstein, Oskar \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings / edited by Michael Hanus. by Hanus, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus. by Hanus, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Armin Wolf. by Seipel, Dietmar \| Hanus, Michael \| Wolf, Armin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue