Institutional Repository
Technical University of Crete
Technical University of Crete
EN
|
EL
| URI: | http://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E | ||
| Year | 2009 | ||
| Type of Item | Διπλωματική Εργασία | ||
| License |
|
||
| Bibliographic Citation | Μιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009. https://doi.org/10.26233/heallink.tuc.12152 | ||
| Appears in Collections |
Μη διαθέσιμο
Copyright © DIAS 2013
