SAT 2005 Satisfiability Research in the Year 2005

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Giunchiglia, Enrico
Άλλοι συγγραφείς: Walsh, Toby
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Springer 2006
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-1-4020-5571-3
LEADER 01014nom a2200289 u 4500
001 10072804
003 upatras
005 20210117201734.0
008 090513s2006 eng
020 |a 9781402055713 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Giunchiglia, Enrico  |9 71298 
245 1 0 |a SAT 2005  |h [electronic resource]  |b Satisfiability Research in the Year 2005  |c edited by Enrico Giunchiglia, Toby Walsh 
260 |a Dordrecht  |b Springer  |c 2006 
300 |b v.: digital 
650 4 |a Information theory  |9 13106 
650 4 |a Computer Science  |9 64565 
650 4 |a Theory of Computation  |9 64606 
650 4 |a Artificial Intelligence (incl. Robotics)  |9 64267 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |9 71299  |a Walsh, Toby 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4020-5571-3 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 74260  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 49049  |d 49049