Normal view
MARC view
Voronkov, Andrei (Personal Name)
Machine generated authority record.
Work cat.: ()1371778: Logic for Programming, Artificial Intelligence, and Reasoning, 2012.
