Demonstrarea interactivă a teoremelor (engleză)

· Springer, Berlin · 2018 · broșată

Demonstrarea interactivă a teoremelor (engleză)

Vom trimite întreaga comandă într-un singur colet pentru 1 taxă poștală!
717,50 lei
717,50 lei
Preț mai mic cu 69 % față de prețul recomandat
Preț normal 2 293,63 lei
Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in... citește totul 
Demonstrarea interactivă a teoremelor (engleză)
Produsul nu este disponibil momentan.
717,50 lei
  • Poate vă atrage
  • Alte cărți ale autorului
  • Alte cărți ale editurii
  • Ultimele vizualizate
  • Autori similari

Autori similari

Recenziile verificate sunt marcate în mod explicit, celelalte nu sunt verificate.
Aici nu sunt deloc recenzii. Fiți primul și scrieți-o pe a voastră!
Váš avatar
Alegeți
Prenume
Recenzia dvs.
0

Cartea vizitelor

Postările astfel marcate sunt autentificate, celelalte sunt neautentificate.

Cooperare engros

Dacă aveți un sortiment interesant, nu ezitați să ne contactați. Oferim comenzi interesante, plăți rapide și o cooperare cu respect.

angrosisti@megacarti.ro

Doar persoanele cu vârsta de peste 18 ani pot cumpăra alcool.

Vă rugăm să confirmați că aveți deja 18 ani.