Deduction, computation, experiment exploring the effectiveness of proof /
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , |
| Format: | Elektronski eKnjiga |
| Jezik: | angleščina |
| Izdano: |
Berlin ; New York :
Springer,
c2008.
|
| Teme: | |
| Online dostop: | An electronic book accessible through the World Wide Web; click to view |
| Oznake: |
Brez oznak, prvi označite!
|
Podobne knjige/članki: Deduction, computation, experiment
- Deduction, computation, experiment exploring the effectiveness of proof /
- The book of evidence
- The book of evidence
- Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
- Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
- The functional interpretation of logical deduction