A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems, The Sixth International Conference on Intelligent Systems and Applications, pp.1-6, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01648748
The Advancement of Learning, 1994. ,
, Serious Creativity: Using the Power of Lateral Thinking to Create New Ideas, HarperCollins, 1992.
, Edition de F. Alquié. T. 1, Classiques Garnier, vol.3, 1988.
Rules for the direction of the mind, R. Descartes: Oeuvres complètes, vol.11, pp.359-469, 1996. ,
, Rites and beliefs of Eternity (Rites et croyances d'éternité), 1993.
, Precomas 0.3 User Guide, 1989.
Method and UseConception of Complex "Informatics" Systems and Epistemological Patent (Créativité Formelle : Méthode et Pratique-Conception des systèmes « informatiques, Formal Creativity, 2008. ,
Cartesian versus Newtonian Paradigms for Recursive Program Synthesis, International Journal on Advances in Systems and Measurements, vol.7, pp.209-222, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01131257
Algorithmic Conceptualization of Tools for Proving by Induction 'Unwinding' Theorems-A Case Study, Rap. de Rech. N° 1587, 2016. ,
Cartesian Handling Informal Specifications in Incomplete Frameworks, The Fifth International Conference on Intelligent Systems and Applications, pp.100-107, 2016. ,
, List of publications
Cartesian Systemic EmergenceTackling Underspecified Notions in Incomplete Domains, Proc. of COGNITIVE 2018 : The Tenth International Conference on Advanced Cognitive Technologies and Applications, pp.1-6, 2018. ,
The Science of Programming, 1981. ,
, Introduction to Meta-Mathematics, 1980.
A Uniform Framework for the Formal Specification and Verification of Information Flow Security, 2003. ,
Classes of predictably computable functions, Trans. Amer. Math. Soc, vol.106, pp.139-173, 1963. ,
Young Girl-Old Woman Illusion, From MathWorldA Wolfram Web Resource ,
, Recursive Function Theory and Logic, 1971.
, The Thirteen Books of the Elements, 1956.