Télécharger le livre :  New Computational Paradigms
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most...

Editeur : Springer
Parution : 2007-11-28
PDF

147,69

Téléchargement immédiat
Dès validation de votre commande