Normal view
MARC view
Michael Kohlhase; Manfred Kerber(Personal Name)
Machine generated authority record
Work cat.: (OSt)1797960: Michael Kohlhase; Manfred Kerber, Symbolic Computation and Automated Reasoning