Theorem Proving via General Mappings.
Peter B. Andrews:
Theorem Proving via General Mappings.
J. ACM 28(2): 193-214(1981)@article{DBLP:journals/jacm/Andrews81,
author = {Peter B. Andrews},
title = {Theorem Proving via General Mappings},
journal = {J. ACM},
volume = {28},
number = {2},
year = {1981},
pages = {193-214},
ee = {db/journals/jacm/Andrews81.html, http://doi.acm.org/10.1145/322248.322249},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt:
Adaptive Predicate Managers in Database Systems.
VLDB 1986: 21-29
BibTeX
Copyright © Sun May 17 00:05:32 2009
by Michael Ley (ley@uni-trier.de)