Normal view
MARC view
- Voronkov, Andrei
Voronkov, Andrei (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Baader, Franz. 321557, Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452), 2005