Your search returned 2 results.

Results
	1.	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) Series: Studies in Computational Intelligence ; 488 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	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 [editor.] Muñoz, César [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5170 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search