1995
Doctoral Thesis
Title

Rechnerunterstützung formaler Beweissprachen

Thesis Note
Zugl.: Berlin, TU, Diss., 1995
Author(s)
Anlauff, M.
Publisher
Publishing Place
Sankt Augustin
Language
German
FIRST
Keyword(s)