Règles, déduction, grammaire et langage

Ryszard ZUBER

Dans : Le Concept de preuve à la lumière de l'intelligence artificielle - 1999