Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by А.Н. Непейвода
Technical Systems in Logic: Questions of Formalization and Automatic Verification
Logical Investigations
Related publications
Formalization and Verification of PLC Timers in Coq
Performance Evaluation of Automatic Speaker Verification Systems
IEEE Transactions on Acoustics, Speech, and Signal Processing
Formalization in Systems Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formalization of Logic in Diagonal-Free Cylindric Algebras
The Method of Automatic Knuckle Image Acquisition for Continuous Verification Systems
Symmetry
Mathematics
Chemistry
Physics
Computer Science
Astronomy
Logic Analysis and Verification of N-Input Genetic Logic Circuits
Automatic Palmprint Verification
International Journal of Image and Graphics
Computer Science Applications
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
Experimental Verification of Innovative Approach to Formalization of Motor Activity.
Bulletin of Bryansk state technical university
Automatic Verification of Timed Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
