An Intuitionistic Formula Hierarchy Based on High-School Identities.

Taus Brock-Nannestad Danko Ilik

Published in: CoRR (2016)

Keyphrases

high school
high school students
college students
grade students
linear logic
attitudes toward
theorem prover
science teachers
conceptual understanding
deaf students
european countries
project based learning
middle school
fuzzy numbers
student teachers
college level
computer assisted
fuzzy sets