Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P

Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P

Εμφάνιση άλλων εκδόσεων (1)

-

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Κεραμύδας, Ελευθέριος
Άλλοι συγγραφείς: Χατζηλυγερούδης, Ιωάννης
Μορφή: Thesis
Γλώσσα:Greek
Έκδοση: 2010
Θέματα:
Αυτόματη απόδειξη θεωρημάτων
Λογική, Συμβολική και μαθηματική
511.3
Automatic theorem proving
Logic, Symbolic and mathematical
Διαθέσιμο Online:https://hdl.handle.net/10889/3585
id nemertes-10889-3585
record_format dspace
spelling nemertes-10889-35852022-09-06T05:12:59Z Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P Κεραμύδας, Ελευθέριος Χατζηλυγερούδης, Ιωάννης Keramydas, Elevtherios Χατζηλυγερούδης, Ιωάννης Αυτόματη απόδειξη θεωρημάτων Λογική, Συμβολική και μαθηματική 511.3 Automatic theorem proving Logic, Symbolic and mathematical - - 2010-08-31T10:59:29Z 2010-08-31T10:59:29Z 2004-07 2010-08-31T10:59:29Z Thesis https://hdl.handle.net/10889/3585 gr Η ΒKΠ διαθέτει αντίτυπο της διατριβής σε έντυπη μορφή στο βιβλιοστάσιο διδακτορικών διατριβών που βρίσκεται στο ισόγειο του κτιρίου. 0 application/pdf
institution UPatras
collection Nemertes
language Greek
topic Αυτόματη απόδειξη θεωρημάτων
Λογική, Συμβολική και μαθηματική
511.3
Automatic theorem proving
Logic, Symbolic and mathematical
spellingShingle Αυτόματη απόδειξη θεωρημάτων
Λογική, Συμβολική και μαθηματική
511.3
Automatic theorem proving
Logic, Symbolic and mathematical
Κεραμύδας, Ελευθέριος
Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
description -
author2 Χατζηλυγερούδης, Ιωάννης
author_facet Χατζηλυγερούδης, Ιωάννης
Κεραμύδας, Ελευθέριος
format Thesis
author Κεραμύδας, Ελευθέριος
author_sort Κεραμύδας, Ελευθέριος
title Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
title_short Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
title_full Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
title_fullStr Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
title_full_unstemmed Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
title_sort απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση act-p
publishDate 2010
url https://hdl.handle.net/10889/3585
work_keys_str_mv AT keramydaseleutherios apodosēsystēmatōnautomatēsapodeixēstheōrēmatōnperiptōsēactp
_version_ 1799945000835874816

Παρόμοια τεκμήρια