Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen
By: Ulrich Löwen
Contributors: Universität Duisburg
Published: 1988
Language: ger
Number of pages: 114
Notes: Thesis (doctoral)--Universität-GH-Duisburg, 1988.