![](/img/cover-not-exists.png)
Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions
L. D. CheremisinovaVolume:
73
Language:
english
Pages:
11
DOI:
10.1134/s0005117912070119
Date:
July, 2012
File:
PDF, 210 KB
english, 2012