Mohamed, Otmane Ait.

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: Tahar, Sofiene.; SpringerLink (Online service); Mohamed, Otmane Ait.; Munoz, Cesar.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Modeling approaches and algorithms for advanced computer applications by: Amine, Abdelmalek.; Mohamed, Otmane Ait.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bellatreche, Ladjel.; SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Artificial Intelligence (incl. Robotics) Automatic theorem proving Computational Intelligence. Engineering. Logic Design. Computer Science. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer science