Library Services | Technical University of Kenya catalog › Results of search for 'au:"Otmane, Ait Mohamed."'

Your search returned 2 results.

	1.	Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar. by Mohamed, Otmane Ait \| Muñoz, César \| Tahar, Sofiène \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Modeling Approaches and Algorithms for Advanced Computer Applications [electronic resource] / edited by Abdelmalek Amine, Ait Mohamed Otmane, Ladjel Bellatreche. by Amine, Abdelmalek [editor.] \| Otmane, Ait Mohamed [editor.] \| Bellatreche, Ladjel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya