Technical Systems in Logic: Questions of Formalization and Automatic Verification

Logical Investigations
doi 10.21146/2074-1472-2013-19-0-148-165
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Philosophy, Russian Academy of Sciences

Related search

Formalization and Verification of PLC Timers in Coq

2009English

Performance Evaluation of Automatic Speaker Verification Systems

IEEE Transactions on Acoustics, Speech, and Signal Processing
1977English

Formalization in Systems Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

A Formalization of Logic in Diagonal-Free Cylindric Algebras

English

The Method of Automatic Knuckle Image Acquisition for Continuous Verification Systems

Symmetry
MathematicsChemistryPhysicsComputer ScienceAstronomy
2018English

Logic Analysis and Verification of N-Input Genetic Logic Circuits

2017English

Automatic Palmprint Verification

International Journal of Image and Graphics
Computer Science ApplicationsPattern RecognitionComputer VisionComputer GraphicsComputer-Aided Design
2001English

Experimental Verification of Innovative Approach to Formalization of Motor Activity.

Bulletin of Bryansk state technical university
2014English

Automatic Verification of Timed Circuits

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy