Logica computațională și teoria mulțimilor (engleză)

· Springer London Ltd · 2011 · legată · 416 pagini

Logica computațională și teoria mulțimilor (engleză)

Vom trimite întreaga comandă într-un singur colet pentru 1 taxă poștală!
1 934,87 lei
Produsul nu este disponibil momentan.
Vizualizați alternativele disponibile.
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs. citește totul 
Logica computațională și teoria mulțimilor (engleză)
Produsul nu este disponibil momentan.
1 934,87 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.