André Thayse
1940 · 15 obras en el catálogo
Obras

From modal logic to deductive databases

From natural language processing to logic for expert systems

From standard logic to logic programming

Approche logique de lʾintelligence artificielle

Boolean calculus of differences

Logičeskij podhod k iskusstvennomy intellektu

De la logique modale à la logique des bases de données
Regards sur la foi
Dieu caché et réel voilé
Accomplir l'écriture
Mathématiques, physique, métaphysique

Boolean calculus of differences
Matthieu
