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

An efficient procedure for theorem proving in propositional logic on vector computers

โœ Scribed by Wen-Tsuen Chen; Ming-Yi Fang


Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
662 KB
Volume
17
Category
Article
ISSN
0167-8191

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES