Le concept de preuve à la lumière de l'intelligence artificielle

sous la direction de Jean Sallantin et Jean-Jacques Szczeciniarz
Presses universitaires de France
9782130501046
2-13-050104-4