Completeness, confluence, and related properties of clause graph resolution

Kaiserslautern, Univ., Diss., 1988

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Eisinger, Norbert
Format:	UnknownFormat
Sprache:	ger
Schlagworte:	Zusammenhängender Graph
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!