André Thayse

1940

• Approche logique de lʾintelligence artificielle
• Boolean calculus of differences
• Boolean calculus of differences
• De la logique modale à la logique des bases de données
• From modal logic to deductive databases
• From natural language processing to logic for expert systems
• From standard logic to logic programming
• Logičeskij podhod k iskusstvennomy intellektu
• P-functions and Boolean matrix factorization
• Accomplir l'écriture
• Dieu caché et réel voilé
• Mathématiques, physique, métaphysique