Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)

Subjects

Subjects :

Philosophy
Logic
Computer science
Resolution (electron density)
Remote sensing

Details

ISSN :

19435886 and 00224812

Volume :

35

Database :

OpenAIRE

Journal :

The Journal of Symbolic Logic

Accession number :

edsair.doi...........dc0136623542a442d105838dfa167c5c

Full Text :

https://doi.org/10.2307/2271218