Techniques for avoiding redundancy in theorem proving based on the connection method

Darmstadt, Techn. Hochsch., Diss., 1994

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Brüning, Stefan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	1994
Schlagworte:	Hochschulschrift > Automatisches Beweisverfahren > Redundanzminderung > Konnektionsmethode
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Darmstadt, Techn. Hochsch., Diss., 1994
Beschreibung:	Mikrofiche-Ausg. : 1994. 3 Mikrofiches : 24x
Beschreibung:	202 S graph. Darst