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...
| Kaituhi rangatōpū: | |
|---|---|
| Ētahi atu kaituhi: | , |
| Hōputu: | Licensed eBooks |
| Reo: | Ingarihi |
| I whakaputaina: |
Amsterdam ; Washington, DC :
IOS Press,
©2006.
|
| Rangatū: | NATO science series. Computer and systems sciences ;
v. 200. |
| Urunga tuihono: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=165586 |