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

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

Application of logic to computer science

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

Αγγλικά

Δημιουργός:

Ζάχος, Ευστάθιος

Περίληψη:

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

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

Λογική

Λοιπές θεματικές κατηγορίες:

Πληροφορική

Λέξεις-κλειδιά:

computer science, computational complexity, interactive proof systems, modal logic, Kripke systems, artificial intelligence

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

349-350

Σημειώσεις:

Ομαδική συζήτηση

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

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