๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Application of the strategy of ordering disjunctives for a modification of the method of resolutions

โœ Scribed by V. I. Sharonov


Publisher
Springer US
Year
1988
Tongue
English
Weight
255 KB
Volume
41
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES