J m lorente tallada (1 risultati)

Autore: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (1)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Spagnolo

      8485630475 / 9788485630479

      Da: Hamelyn, Madrid, M, SpagnaHamelyn

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato - Quasi ottimo

      EUR 12,99

      EUR 12,99 spedizione 
      Spedito da Spagna a U.S.A.

      Quantità: 1 disponibili

      Condizione: Muy bueno. : Este libro, titulado 'Prueba automática de teoremas', es una exploración del campo de la demostración automática de teoremas. Publicado en 1982, el libro consta de 127 páginas y está escrito en español. Es una obra que profundiza en los aspectos teóricos y prácticos de la automatización de la demostració…