A New Perspective for Hoare's Logic and Peano's Arithmetic.

Published in: CoRR (2013)

Keyphrases

micron cmos
multi valued
logic programming
modal logic
real world
classical logic
formal theory
databases
genetic algorithm
artificial intelligence
multiscale
probabilistic logic
abductive reasoning