A Machine-Oriented Logic Based on the Resolution Principle.
John Alan Robinson:
A Machine-Oriented Logic Based on the Resolution Principle.
J. ACM 12(1): 23-41(1965)@article{DBLP:journals/jacm/Robinson65,
author = {John Alan Robinson},
title = {A Machine-Oriented Logic Based on the Resolution Principle},
journal = {J. ACM},
volume = {12},
number = {1},
year = {1965},
pages = {23-41},
ee = {db/journals/jacm/Robinson65.html, http://doi.acm.org/10.1145/321250.321253},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
Online Edition
Citation Page
BibTeX
BibTeX
Copyright © Tue Nov 18 20:40:49 2008
by Michael Ley (ley@uni-trier.de)