Book serie: / Книги серии: LNCS 2919 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: LNCS 2919

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

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

pdf

Author: Enrico Giunchiglia Armando Tacchella
Language: English
Year: 2004

00

29.01.2024

0

0