Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung
By: Theodor Lettmann
Contributors: Universität Karlsruhe
Published: 1988
Language: ger
Number of pages: 168
Notes: Thesis (doctoral)--Universität Fridericiana zu Karlsruhe, 1987.