Open AccessAn expanded theoretical perspective for proof construction and its teaching
Author(s) -
John Selden,
Annie Selden
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - perspective (graphical) , computer science , programming language , mathematics education , mathematics , artificial intelligence