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...
Saved in:
| Online Access: |
Full text (MCPHS users only) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
2006
|
| Series: | NATO science series. Computer and systems sciences ;
v. 200. |
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
