Télécharger le livre :  New Computational Paradigms
Ajouter à ma liste d'envies
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