Deduction, computation, experiment exploring the effectiveness of proof /
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | englanti |
| Julkaistu: |
Berlin ; New York :
Springer,
c2008.
|
| Aiheet: | |
| Linkit: | An electronic book accessible through the World Wide Web; click to view |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Search Result 1
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Julkaistu 2008
Hae kokoteksti
Elektroninen
E-kirja