Character Strings and Gödel's Incompleteness Proof.

Published in: AFL (2014)

Keyphrases

edit distance
theorem proving
handwritten characters
string matching
data mining
chinese characters
missing values
user experience
incomplete information
social bookmarking
automated theorem proving
mathematical proofs