Deduction, computation, experiment exploring the effectiveness of proof /
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Berlin ; New York :
Springer,
c2008.
|
| Pynciau: | |
| Mynediad Ar-lein: | An electronic book accessible through the World Wide Web; click to view |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Search Result 1
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Cyhoeddwyd 2008
Cael y testun llawn
Electronig
eLyfr