Mostrando  Paperback Book   ·   Mostrar tudo
Mostrar itens não disponíveis

Lançamentos por Carsten Sinz

Cover for Carsten Sinz · Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc (Paperback Book) (2014)
Paperback Book
Theory and Applications of Satis...
Carsten Sinz