From Hilbert's program to a logic tool box.

Johann A. Makowsky

Published in: Ann. Math. Artif. Intell. (2008)

Keyphrases

logic programming
program understanding
software tools
classical logic
database
databases
multi valued
fault localization
sound and complete axiomatization