Login / Signup
Propositional Proof Systems.
Julius Michaelis
Tobias Nipkow
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
management system
complex systems
multiscale
computer systems
decision making
metadata
computing systems