Proof
| Prif Awdur: | |
|---|---|
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
University of North Texas Press
|
| Pynciau: | |
| Mynediad Ar-lein: | Full text available on Project MUSE [1/1/17] |
Eitemau Tebyg
Proofs
Proof of Guilt
gan: Cairns
gan: Cairns
Robot-Proof
gan: Aoun
gan: Aoun
Rabbit-proof fence.
gan: Garimara, Doris Pilkington
Cyhoeddwyd: (2008)
gan: Garimara, Doris Pilkington
Cyhoeddwyd: (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 /
gan: Fader Daniel N. Author, et al.
gan: Fader Daniel N. Author, et al.
Hooked on books : program and proof /
gan: Fader Daniel N. Author, et al.
gan: Fader Daniel N. Author, et al.
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
gan: Dunham, William
Cyhoeddwyd: (1994)
gan: Dunham, William
Cyhoeddwyd: (1994)
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
gan: Dunham, William
Cyhoeddwyd: (1994)
gan: Dunham, William
Cyhoeddwyd: (1994)
Hearths of Darkness
gan: Williams
gan: Williams
The Untold Story of the Lower Colorado River Authority
gan: Williams
gan: Williams
Passing the Torch
gan: Williams
gan: Williams
The Residue of Dreams
gan: Williams
gan: Williams
My Old Confederate Home
gan: Williams
gan: Williams
The Life and Work of John C. Campbell
gan: Williams
gan: Williams
It's My Country Too
gan: Williams
gan: Williams
The Urban Church Imagined
gan: Williams
gan: Williams
Religion and Progressive Activism
gan: Williams
gan: Williams
The Marrano Specter
gan: Williams
gan: Williams
Imagining Russia
gan: Williams
gan: Williams
Returning Home with Glory
gan: Williams
gan: Williams