Deduction, computation, experiment exploring the effectiveness of proof /
| Автор-организации: | ebrary, Inc. |
|---|---|
| Други автори: | Corsi, Giovanna., Lupacchini, Rossella. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Berlin ; New York :
Springer,
c2008.
|
| Предмети: | |
| Онлайн достъп: |
An electronic book accessible through the World Wide Web; click to view |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
An electronic book accessible through the World Wide Web; click to view |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
BC173 .D43 2008eb |
|---|