Vereinfachung logischer Formeln in einem Vorbeweiser
By: Thomas Käufl
Contributors: Universität Karlsruhe
Published: 1988
Language: ger
Number of pages: 176
Notes: Thesis (doctoral)--Universität Karlsruhe (T.H.), 1988.