Turing: A formal clash of codes.

Guenther Witzany Frantisek Baluska

Published in: Nat. (2012)

Keyphrases

error correction
formal methods
data mining
formal model
formal specification
databases
real world
social networks
knowledge base
multiscale
knowledge management
formal representation
formal language
error correcting
error correcting codes