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

Elimination of quantors in horn theories having a small number of models

โœ Scribed by E. A. Palyutin


Publisher
Springer US
Year
1991
Tongue
English
Weight
166 KB
Volume
30
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES