Mechanizing proof : computing, risk, and trust /
| Основен автор: | MacKenzie, Donald A. |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Cambridge, Mass. :
MIT Press,
℗♭2001.
|
| Серия: |
Inside technology.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=74992 |
| Подобни документи: |
Print version::
Mechanizing proof. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=74992 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.76.R44 M36 2001eb |
|---|