SAT 2005 Satisfiability Research in the Year 2005

• Κύριος συγγραφέας: Giunchiglia, Enrico
• Άλλοι συγγραφείς: Walsh, Toby
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht Springer 2006
• Θέματα: Information theory; Computer Science; Theory of Computation; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη
• Φυσική περιγραφή: v.: digital
• ISBN: 9781402055713