| LC control no. | n 92045267 |
|---|---|
| Descriptive conventions | rda |
| Personal name heading | Voronkov, Andrei, 1959- |
| Variant(s) | Voronkov, Andrei Aleksandrovič, 1959- Voronkov, A. A. (Andreĭ Aleksandrovich), 1959- Воронков, А. А. (Андрей Александрович), 1959- Voronkov, Andreĭ Aleksandrovich, 1959- Воронков, Андрей Александрович, 1959- |
| Associated country | Manchester, England |
| Birth date | 19590514 |
| Profession or occupation | Computer scientist |
| Special note | Non-Latin script reference not evaluated. |
| Found in | Handbook of automated reasoning, 2001: t.p. (Andrei Voronkov [in rom.]) Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992: CIP t.p. (A. Voronkov) p. iv (Андрей Воронков = Andreĭ Voronkov, Europ. Computer-Industry Res. Centre, München) data sheet (b. 5-14-1959) Vychislitelnye Sistemy, v.107, Novosibirsk, 1985: page 109 (А.А. Воронков = A.A. Voronkov) Wikipedia, viewed Aug. 28, 2013 (Andrei Voronkov; Andrei Aleksandrovič Voronkov [in rom.]; professor of formal methods, School of Computer Sciences, Univ. of Manchester; educated at the Novosibirsk State Univ., PhD, 1987; lists works in English and Russian) |
| Associated language | rus eng |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
