Open AccessUne fois qu'on n'a pas trouvé de preuve, comment le faire comprendre à un assistant de preuve?
Author(s) -
Jean Goubault-Larrecq
Publication year - 2004
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - French
Resource type - Conference proceedings
Subject(s) - philosophy , humanities