Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής

Σκίτσας Μιχαήλ

Απλή Εγγραφή


URIhttp://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E-
Αναγνωριστικόhttp://www.library.tuc.gr/artemis/DT2009-0168/DT2009-0168.pdf-
Αναγνωριστικόhttps://doi.org/10.26233/heallink.tuc.12152-
Γλώσσαel-
ΤίτλοςΥλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικήςel
ΔημιουργόςΣκίτσας Μιχαήλel
Συντελεστής [Επιβλέπων Καθηγητής]Δόλλας Απόστολοςel
ΕκδότηςΠολυτεχνείο Κρήτηςel
Ακαδημαϊκή ΜονάδαΠολυτεχνείο Κρήτης::Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστώνel
ΠερίληψηΜη διαθέσιμοel
ΤύποςΔιπλωματική Εργασίαel
Άδεια Χρήσηςhttp://creativecommons.org/licenses/by/4.0/en
Ημερομηνία2014-03-24-
Ημερομηνία Δημοσίευσης2009-
Θεματική ΚατηγορίαΔΙΠ2213el
Βιβλιογραφική ΑναφοράΜιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009.el

Διαθέσιμα αρχεία

Υπηρεσίες

Στατιστικά