Theorem-proving with resolution and superposition
Gespeichert in:
Veröffentlicht in: | Journal of symbolic computation.11.1991 |
---|---|
1. Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Nancy
Centre de Recherche en Informatique
1992
|
Ausgabe: | Sonderdruck |
Schriftenreihe: | CRIN
91,172 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | S.22-49 graph. Darst. |
---|