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

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

On the power of automata based proof systems

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

Αγγλικά

Δημιουργός:

Lipton, Richard J.
Βίγλας, Αναστάσιος

Περίληψη:

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

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

Υπολογιστικά Μαθηματικά

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

144-149

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

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