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

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

Show other versions (1)

-

Bibliographic Details
Main Author: Κεραμύδας, Ελευθέριος
Other Authors: Χατζηλυγερούδης, Ιωάννης
Format: Thesis
Language:Greek
Published: 2010
Subjects:
Αυτόματη απόδειξη θεωρημάτων
Λογική, Συμβολική και μαθηματική
511.3
Automatic theorem proving
Logic, Symbolic and mathematical
Online Access: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

Similar Items