Login / Signup
From Hilbert's Program to a Logic Toolbox.
Johann A. Makowsky
Published in:
ISAIM (2008)
Keyphrases
</>
predicate logic
program synthesis
declarative semantics
programs written
functional programs
genetic algorithm
computer programs
multi valued
probabilistic logic
logical framework
asynchronous circuits
proof theory
logical representation