Theory and Applications of Satisfiability Testing - SAT 2017 Toby Walsh
Titel: Theory and Applications of Satisfiability Testing - SAT 2017, Untertitel: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Einband: Taschenbuch, Autor: Toby Walsh, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 492, Maße: 235x155x27 mm, Gewicht: 739 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Artificial Intelligence Learning Algorithms Machine Learning SAT solvers Semantics Software Engineering computer architecture computer software selection and evaluation constraint theory formal logic formal methods formal verifications genetic algorithms learning systems model checking problem solving program processors satisfiability theorem proving verification.
Jetzt bei Ebay:
