Rekursives Lernen
Subtitle: Eine präzise Implikationsprozedur und ihre Anwendung auf die Testmustergenerierung in digitalen Schaltungen
By: Wolfgang Kunz
Contributors: Universität Hannover
Published: 1992
Language: ger
Notes: Thesis (doctoral)--Universität Hannover, 1992.