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
Book

Combining pencil/paper proofs and formal proofs, a challenge for Artificial Intelligence and mathematics education

Subjects: formal proof; mathematics education; Coq

  • Source: Mathematics Education in the Age of Artificial Intelligence: How Intelligence can serve mathematical human learning ; https://hal.science/hal-03254579 ; Richard P.R.; Vélez M.P.; Van Vaerenbergh S.

تفاصيل العنوان

×
Academic Journal

Position paper of the French Society of Respiratory Diseases regarding pharmacological treatment optimization for stable COPD in 2021

Subjects: [SDV]Life Sciences [q-bio]

  • Source: EISSN: 2590-0412 ; Respiratory Medicine and Research ; https://hal.science/hal-03590384 ; Respiratory Medicine and Research, 2022, 81, pp.100889. ⟨10.1016/j.resmer.2022.100889⟩

تفاصيل العنوان

×
  • 1-10 ل  6,168 نتائج ل ""Paper""