Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

  • Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth conference of the International

Record details

×
Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

  • Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth conference of the International

Record details

×
  • 1-2 of  2 results for ""Hanovre""