Old Web
English
Sign In
Acemap
>
Paper
>
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification.
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification.
2017
Michael Lvov
Vladimir S. Peschanenko
Oleksandr A. Letychevskyi
Yulia Tarasich
Keywords:
Discrete mathematics
Canonical form
Data type
Mathematics
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI
[]