Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Chang, C., Lee, R.: Symbolic logic and mechanical theorem proving. Academic Press, New York (1973)
2. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd edn. Springer, Heidelberg (1996)
3. Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112, 493–565 (1936)
4. Lecture Notes in Computer Science;D. Kim,2001
5. Kunz, W., Stoffel, D.: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testin Techniques. Kluwer Academic Publishers, Dordrecht (1997)