Тема, жанр, tags: Vector Analysi » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Vector Analysi

book Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

pdf

Author: Matti Jarvisalo Allen Van Gelder
Language: English
Year: 2013

00

29.01.2024

0

0

book Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

pdf

Author: Alessandro Cimatti Roberto Sebastiani
Language: English
Year: 2012

00

29.01.2024

0

0