Model generation style completeness proofs for constraint tableaux with superposition

Bibliographische Detailangaben

1. Verfasser:	Giese, Martin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Karlsruhe Univ., Fak. für Informatik 2001
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 2001,20
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!