A.M. · Ait Mohamed Otmane · o.A. · O. M.
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computational Intelligence and Its Applications: 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings | 978-3-319-89742-4 (3-319-89742-X) | 2018 | Abdelmalek Amine · Malek Mouhoub · Bachir Djebbar |
| Recent Trends and Future Technology in Applied Intelligence: 31st International Conference on Industrial Engineering and Other Applications of Applied ... in Computer Science , Band 10868) | 978-3-319-92057-3 (3-319-92057-X) | 2018 | Malek Mouhoub · Samira Sadaoui · Moonis Ali |
| Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings | 978-3-540-71065-3 (3-540-71065-5) | 2008 | |