Online Library TheLib.net » Тема, жанр, tags: CASE (Informatik),Agent (Informatik),Wissensmanagement.,Informationssystem.,Requirements engineering
book Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings
Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017: proceedings
pdf
00
30.01.2024
0
0
Read online
book Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings
Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings
pdf
00
30.01.2024
0
0
Read online