Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Mike Gordon (auth.), Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.)
Modeling Approaches and Algorithms for Advanced Computer Applications
  • PDF
  • English
  • Year: 2013
  • Author: Frédéric Boniol (auth.), Abdelmalek Amine, Ait Mohamed Otmane, Ladjel Bellatreche (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Computational Intelligence and Its Applications
  • PDF
  • English
  • Year: 2018
  • Author: Abdelmalek Amine, Malek Mouhoub, Otmane Ait Mohamed, Bachir Djebbar
Recent Trends and Future Technology in Applied Intelligence
  • PDF
  • English
  • Year: 2018
  • Author: Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali
Desertification and Risk Analysis Using High and Medium Resolution Satellite Data: Training Workshop on Mapping Desertification
  • PDF
  • English
  • Year: 2009
  • Author: Mohamed Tahar, Lamia Boureboune (auth.), Alberto Marini, Mohamed Talbi (eds.)
Formalized Probability Theory and Applications Using Theorem Proving
  • PDF
  • English
  • Year: 2015
  • Author: Osman Hasan, Sofiène Tahar
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Otmane Aït Mohamed (auth.), E. Thomas Schubert, Philip J. Windley, James Alves-Foss (eds.)
  • PDF
  • English
  • Year: 2017
  • Author: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
search