Calculemus 2003
11,00 €
     
SINTESI
The long-term motivation of the Calculemus research initiative (see www.calculemus.net) is to foster the development of a new generation of assistant systems for mathematics and formal methods.Contributions by A.A. Adams, Jesús Aransay, Clemens Ballarin, Christoph Benzmüller, Ulrich Berger, Sylvie Boldo, Jacques Calmet, Jacques Carette, Edmund Clarke, Marc Daumas, William M. Farmer, Ferruccio Guidi, Mathieu Jaume, Hidetsune Kobayashi, Michael Kohlhase, Manuel Maarek, Hirokazu Murao, Joël Ouaknine, Martin Pollet, Virgile Prevosto, Silvio Ranise, Julio Rubio, Claudio Sacerdoti Coen, Monika Seisenberger, Volker Sorge, Klaus Sutner, Hideo Suzuki, Laurent Théry, Jérémie Wajs, Wolfgang Windsteiger, Stefano Zacchiroli
pagine: 148
formato: 17 x 24
ISBN: 978-88-7999-545-0
data pubblicazione: Gennaio 2006
editore: Aracne
SINTESI
Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto