Normal view
MARC view
- Beckert, Bernhard
Beckert, Bernhard (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Beckert, Bernhard., Automated Reasoning with Analytic Tableaux and Related Methods, 2005