Computer Assisted Proof for Apwenian Sequences.

Hao Fu Guo-Niu Han

Published in: ISSAC (2016)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
data sets
theorem prover
theorem proving
variable length
project based learning
linear logic
pattern recognition
vocabulary learning