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
Diploma Works in Community School of Electrical and Computer Engineering

Summary

Μη διαθέσιμο

Available Files

Services

Statistics

 

Copyright © DIAS 2013