Πρωτότυπος Τίτλος:
Reductions of search space in RUE-Resolution theorem proving
Γλώσσες Τεκμηρίου:
Αγγλικά
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
RUE-Resolution, equality literals, pure inequalities
Σελίδες (από-έως):
237-241
Σημειώσεις:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές