Search
1 heading found for n 92045267
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Voronkov, Andrei, 1959-....
Voronkov, Andrei Voronkov, Andrej (Andrej Aleksandrovič), 1959- Voronkov, A Андрей Александрович Воронков Voronkov, Andrej Aleksandrovič (1959- ) Voronkov, Andrej Aleksandrovič |
Personal | Automated deduction-CADE-18 : 18th International Conference on Automated Deducti
...
Automated deduction-CADE-18 : 18th International Conference on Automated Deducti ... Handbook of automated reasoning, 2001: Metody analiza i ocenki gosudarstvennyh programm v SŠA Metody analiza i ocenki gosudarstvennyh programm v SŠA |