Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung

Zugl.: Berlin, Techn. Univ., Diss., 1995

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Heinz, Birgit (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München, Wien Oldenbourg 1996
Schriftenreihe:	GMD-Berichte 261
Schlagworte:	Hochschulschrift > Lemma > Induktionsbeweis > Automatisches Beweisverfahren > Unifikationstheorie > Gleichungstheorie
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!