한국수학교육학회지시리즈A:수학교육 (The Mathematical Education)

  • 제21권1호
  • /
  • Pages.23-24
  • /
  • 1982
  • /
  • 1225-1380(pISSN)
  • /
  • 2287-9633(eISSN)
한국수학교육학회 (Korean Society of Mathematical Education)
권호 표지

A Proof of the Rule of Consequence in Inference(Programming Language)

  • 발행 : 1982.12.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드