Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση 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

Similar Items

Similar Items