Proving refutational completeness of theorem-proving strategies the transfinite semantic tree method

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hsiang, Jieh (VerfasserIn)
Weitere Verfasser: Rusinowitch, Michae͏̈l (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Nancy Centre de Recherche en Informatique 1992
Schriftenreihe:CRIN 1991,171
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:S.560-587
graph. Darst.