Institutional Repository [SANDBOX]
Technical University of Crete
EN  |  EL

Search

Browse

My Space

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

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

Full record


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

Summary

Μη διαθέσιμο

Available Files

Services

Statistics