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

URI	http://purl.tuc.gr/dl/dias/69396B3A-2D08-49C5-9F19-CBD0B1A4DD8E	-
Identifier	http://www.library.tuc.gr/artemis/DT2009-0168/DT2009-0168.pdf	-
Identifier	https://doi.org/10.26233/heallink.tuc.12152	-
Language	el	-
Title	Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής	el
Creator	Σκίτσας Μιχαήλ	el
Contributor [Thesis Supervisor]	Δόλλας Απόστολος	el
Publisher	Πολυτεχνείο Κρήτης	el
Academic Unit	Πολυτεχνείο Κρήτης::Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών	el
Content Summary	Μη διαθέσιμο	el
Type of Item	Διπλωματική Εργασία	el
License	http://creativecommons.org/licenses/by/4.0/	en
Date of Item	2014-03-24	-
Date of Publication	2009	-
Subject	ΔΙΠ2213	el
Bibliographic Citation	Μιχαήλ Σκίτσας, "Υλοποίηση αλγορίθμων επίλυσης προβλημάτων ικανοποιησιμότητας (SAT) με χρήση αναδιατασσόμενης λογικής", Διπλωματική Εργασία, Τμήμα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2009.	el

Export

Metadata & Content in a METS Package:

Metadata in Format: