Cargando…
Proof technology and computation /
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for vari...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
©2006.
|
| Colección: | NATO science series. Computer and systems sciences ;
v. 200. |
| Temas: | |
| Acceso en línea: | Texto completo |