Vol-1843⫷ Vol-1844 ⫸Vol-1845
urn:nbn:de:0074-1844-0


Vol-1844/10000524⫷Vol-1844/10000536⫸Vol-1844/10000555
Michael S. LvovYulia TarasichOleksandr A. LetychevskyiVladimir S. Peschanenko

The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification