UITP 2003

12,00 €
Area 09 – Ingegneria industriale e dell'informazione
The UITP workshop brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems. These systems include theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulae.Contributions by David Aspinall, Philippe Audebaud, Serge Autexier, Christoph Benzmüller, Yves Bertot, Richard Bornat, Martin Giese, Frédérique Guilhot, Malte Hübner, Joseph R. Kiniry, Christoph Lüth, Andreas Meier, Erica Melis, Scott Owens, Sam Owre, Martin Pollet, Loïc Pottier, Laurence Rideau, Konrad Slind, Laurent Théry, Norbert Völker.
pagine: 192
formato: 17 x 24
ISBN: 978-88-7999-547-4
data pubblicazione: Gennaio 2006
marchio editoriale: Aracne
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ù