Vista normal
Vista MARC
- Veith, Helmut.
Veith, Helmut. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)299613: Cervesato, Iliano. editor. 334068, Logic for Programming, Artificial Intelligence, and Reasoning :