Proof
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
University of North Texas Press
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Full text available on Project MUSE [1/1/17] |
Նմանատիպ նյութեր
Proofs
Proof of Guilt
: Cairns
: Cairns
Robot-Proof
: Aoun
: Aoun
Rabbit-proof fence.
: Garimara, Doris Pilkington
Հրապարակվել է: (2008)
: Garimara, Doris Pilkington
Հրապարակվել է: (2008)
International Journal of Evidence & Proof
Proceedings of the 2015 Conference on Certified Programs and Proofs
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
Hooked on books : program and proof /
: Fader Daniel N. Author, և այլն
: Fader Daniel N. Author, և այլն
Hooked on books : program and proof /
: Fader Daniel N. Author, և այլն
: Fader Daniel N. Author, և այլն
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
: Dunham, William
Հրապարակվել է: (1994)
: Dunham, William
Հրապարակվել է: (1994)
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
: Dunham, William
Հրապարակվել է: (1994)
: Dunham, William
Հրապարակվել է: (1994)
Hearths of Darkness
: Williams
: Williams
The Untold Story of the Lower Colorado River Authority
: Williams
: Williams
Passing the Torch
: Williams
: Williams
The Residue of Dreams
: Williams
: Williams
My Old Confederate Home
: Williams
: Williams
The Life and Work of John C. Campbell
: Williams
: Williams
It's My Country Too
: Williams
: Williams
The Urban Church Imagined
: Williams
: Williams
Religion and Progressive Activism
: Williams
: Williams
The Marrano Specter
: Williams
: Williams
Imagining Russia
: Williams
: Williams
Returning Home with Glory
: Williams
: Williams