|
|
|
|
| LEADER |
00918nam a2200229 a 4500 |
| 001 |
1735739 |
| 005 |
20171111234446.0 |
| 008 |
|
| 040 |
|
|
|a CY
|b University of Cyprus
|e AACR-2
|
| 041 |
0 |
|
|a eng
|
| 050 |
|
|
|a QA76.612.S53 2015
|
| 100 |
1 |
|
|a Σιδέρης, Ανδρέας Γ.
|
| 245 |
1 |
0 |
|a Advances in SAT-Based planning/
|c Andreas Sideris
|
| 260 |
|
|
|a [Nicosia]:
|b [s.n.],
|c 2015
|
| 300 |
|
|
|a xvii, 181 p. :
|b ill. (some col.), tables ;
|c 30 cm.
|
| 500 |
|
|
|a At head of title: University of Cyprus, Department of Computer Science.
|
| 504 |
|
|
|a Includes bibliography (p. 173-181).
|
| 650 |
1 |
0 |
|a Constraint programming (Computer science)
|
| 650 |
1 |
0 |
|a Propositional calculus
|
| 650 |
1 |
0 |
|a Heuristic algorithms
|
| 710 |
0 |
|
|a Πανεπιστήμιο Κύπρου.
|b Τμήμα Πληροφορικής
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0450376c5ad14ac1ec2297
|c 998a
|d 945l
|e QA76.612.S53 2015
|t 1
|x m
|z Books
|
