Mohamed, Otmane Ait.

概要

作品:	2 作品在 2 項出版品 1 種語言

書目資訊

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 :) (書目-語言資料,印刷品)

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) (書目-語言資料,印刷品)

主題

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