The Unit Proof and the Input Proof in Theorem Proving.
Chin-Liang Chang:
The Unit Proof and the Input Proof in Theorem Proving.
J. ACM 17(4): 698-707(1970)@article{DBLP:journals/jacm/Chang70,
author = {Chin-Liang Chang},
title = {The Unit Proof and the Input Proof in Theorem Proving},
journal = {J. ACM},
volume = {17},
number = {4},
year = {1970},
pages = {698-707},
ee = {db/journals/jacm/Chang70.html, http://doi.acm.org/10.1145/321607.321618},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984)
BibTeX
Copyright © Sun May 17 00:05:19 2009
by Michael Ley (ley@uni-trier.de)