Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Giunchiglia, Enrico (Επιμελητής έκδοσης), Tacchella, Armando (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2919
• Θέματα: Mathematics.; Algorithms.; Mathematical logic.; Numerical analysis.; Artificial intelligence.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.; Numeric Computing.; Artificial Intelligence (incl. Robotics).
• Φυσική περιγραφή: XI, 530 p. online resource.
• ISBN: 9783540246053
• ISSN: 0302-9743 ;