Normal view MARC view

Michael Kohlhase; Manfred Kerber(Personal Name)

Preferred form: Michael Kohlhase; Manfred Kerber

Machine generated authority record

Work cat.: (OSt)1797960: Michael Kohlhase; Manfred Kerber, Symbolic Computation and Automated Reasoning

Copyright @ Delhi University Library System