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

Formal verification with functional indeterminacy on the basis of satisfiability testing of the conjunctive normal form

โœ Scribed by L. D. Cheremisinova; D. Ya. Novikov


Book ID
111496403
Publisher
Allerton Press Inc
Year
2010
Tongue
English
Weight
209 KB
Volume
44
Category
Article
ISSN
0146-4116

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES