Vista normal
Vista MARC
- Voronkov, Andrei.
Voronkov, Andrei. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)294937: Sutcliffe, Geoff. editor. 328965, Logic for Programming, Artificial Intelligence, and Reasoning :