(2 resultados)

66,56€(IVA inc.)

Interactive Theorem Proving
  • Urban, Christian
  • 978-3-319-22101-4
  • 2015-11-14
51,95€(IVA inc.)

Principles and theory for data mining and machinelearning
  • Clarke, B.
  • 978-0-387-98134-5
  • 2009-08-01