Another Generalization of Resolution

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of the ACM 1978-07, Vol.25 (3), p.341-351
Hauptverfasser:	Rubin, Norman, Harrison, Malcolm C.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!