Πέργαμος - Βιβλιοθήκη και Κέντρο Πληροφόρησης Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών

Πρωτότυπος Τίτλος:

On the completeness of theory-based variant of resolution

Γλώσσες Τεκμηρίου:

Αγγλικά

Δημιουργός:

Formisano, Andrea

Περίληψη:

Δεν υπάρχει περίληψη

Κύρια θεματική κατηγορία:

Μαθηματικά

Σελίδες (από-έως):

97-101

Μόνιμη διεύθυνση:

https://pergamos.lib.uoa.gr/uoa/dl/object/1057762