Non-classical Aspects in Proof Complexity
Autor Olaf Beyersdorff
9 mar 2012
Paperback
Preț: 110.19 lei 137.74 lei
38-44 zile
-20%
Cărți de Olaf Beyersdorff
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
Editat de Olaf Beyersdorff et al.
26 iun 2018
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%