| The author: | Galin Aleksandr Borisovich |
| Dissertation theme: | Diagnosing of controlling logic units on the basis of procedure of machine theorem proving in propositional calculus |
| The dissertation description: | Diagnosing of controlling logic units on the basis of procedure of machine theorem proving in propositional calculus: silt RSL of OD 61:85-5/531 |
| Year: |
For information reception on access to dissertational work fill please the form presented more low


