Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
Πολυτεχνείο Κρήτης
EN
|
EL
| URI | http://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 | - |
| Θεματική Κατηγορία | ΔΙΠ2213 | el |
| Βιβλιογραφική Αναφορά | Μιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009. | el |
Copyright © DIAS 2013
