Über Komplexitätsfragen Hoarescher Beweissysteme
Subtitle: Effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme
By: Hardi Hungar
Contributors: Universität Kiel
Published: 1990
Language: ger
Number of pages: 148
Notes: Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 1990.