Filter
Søkt på: Bøker av Olaf Beyersdorff
Filter
totalt 4 treff
Theory and Applications of Satisfiability Testing - SAT 2018
e-bok,
2018,
Engelsk,
ISBN 9783319941448
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July …
Theory and Applications of Satisfiability Testing – SAT 2018
heftet,
2018,
Engelsk,
ISBN 9783319941431
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July …
Non-classical Aspects in Proof Complexity
heftet,
2012,
Engelsk,
ISBN 9783954040360
Mathematics For Computation (M4c)
innbundet,
2023,
Engelsk,
ISBN 9789811245213
The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of …