Login / Signup
Frege Proof System and TNC°.
Gaisi Takeuti
Published in:
LCC (1994)
Keyphrases
</>
modal logic
model checker
intuitionistic logic
evolutionary algorithm
databases
genetic algorithm
decision trees
model checking
temporal logic