Techniques for avoiding redundancy in theorem proving based on the connection method
By: Stefan Brüning
Contributors: Technische Hochschule Darmstadt
Published: 1994
Language: eng
Notes: Summary in German.

Thesis (doctoral)--Technische Hochschule Darmstadt, 1994.