/ Sök
Filter
Martina seidl Engelska Theoretical computer science and general issues Rensa alla

Sökt på: Sökresultat

Filter
Martina seidl Engelska Theoretical computer science and general issues Rensa alla

1 träff

Theory and Applications of Satisfiability Testing – SAT 2020

Theory and Applications of Satisfiability Testing – SAT 2020

häftad, 2020, Engelska, ISBN 9783030518240

This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in …

häftad
971 kr
Theory and Applications of Satisfiability Testing – SAT 2020
häftad
Theory and Applications of Satisfiability Testing – SAT 2020
971 kr