Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
Πολυτεχνείο Κρήτης
EN
|
EL
| URI: | http://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E | ||
| Έτος | 2009 | ||
| Τύπος | Διπλωματική Εργασία | ||
| Άδεια Χρήσης |
|
||
| Βιβλιογραφική Αναφορά | Μιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009. https://doi.org/10.26233/heallink.tuc.12152 | ||
| Εμφανίζεται στις Συλλογές |
Μη διαθέσιμο
Copyright © DIAS 2013
