Holdings: Advances in SAT-Based planning/

Main Author:	Σιδέρης, Ανδρέας Γ.
Corporate Author:	Πανεπιστήμιο Κύπρου. Τμήμα Πληροφορικής
Format:	Book
Language:	English
Published:	[Nicosia]: [s.n.], 2015
Subjects:	Constraint programming (Computer science) Propositional calculus Heuristic algorithms

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου	QA76.612.S53 2015	1	Προβολή	OPAC