Open AccessFundamental task to generate the idea of proving by contradiction
Author(s) -
Hiroaki Hamanaka,
Koji Otaki
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - contradiction , computer science , task (project management) , theoretical computer science , epistemology , philosophy , engineering , systems engineering