(707 resultados)

124,75€(IVA inc.)

Recent advances in algorithmic differentiation
  • Forth, Shaun
  • 978-3-642-30022-6
  • 2012-06-30
41,55€(IVA inc.)

Belief revision in non-classical logics
  • Ribeiro, Márcio Moretto
  • 978-1-4471-4185-3
  • 2012-06-30
41,55€(IVA inc.)

A proof theory for description logics
  • Rademaker, Alexandre
  • 978-1-4471-4001-6
  • 2012-06-30