Vista normal
Vista MARC
- Beckert, Bernhard.
Beckert, Bernhard. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)295340: Beckert, Bernhard. editor., Automated Reasoning with Analytic Tableaux and Related Methods :