Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II Lecture Notes in Computer Science, nr. 12167 Editat de Nicolas Peltier et al. 30 iun 2020 Paperback Preț: 486.26 lei 607.81 lei 43-57 zile -20%
Automated Model Building Applied Logic Series, nr. 31 Autor Ricardo Caferra et al. 13 sep 2004 Hardback Preț: 953.65 lei 1162.99 lei 43-57 zile -18%