| The author: | Helemendik Roman Viktorovich |
| Dissertation theme: | Algorithm of recognition of realizability of formulas of logic vetvjashchegosja time and its application |
| The dissertation description: | Algorithm of recognition of realizability of formulas of logic vetvjashchegosja time and its application: a thesis... The candidate of physical and mathematical sciences: 01.01.09. - Moscow, 2005.155 p.: Silt. RSL OD, 61 05-1/880 |
| Year: | 2005 |
For information reception on access to dissertational work fill please the form presented more low