UITP 2003
Area 09 – Ingegneria industriale e dell'informazione
Tweet
SINTESI
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 |
SINTESI
