A
André Thayse
1940
14 works on record
Works

From modal logic to deductive databases

From natural language processing to logic for expert systems

Approche logique de lʾintelligence artificielle

From standard logic to logic programming

Logičeskij podhod k iskusstvennomy intellektu

Boolean calculus of differences

De la logique modale à la logique des bases de données

P-functions and Boolean matrix factorization
Regards sur la foi
Regards sur la foi
Dieu caché et réel voilé
Dieu caché et réel voilé
Accomplir l'écriture
Accomplir l'écriture
Mathématiques, physique, métaphysique
Mathématiques, physique, métaphysique
Vers de nouvelles alliances
Vers de nouvelles alliances
Matthieu
Matthieu