Proof
| Huvudskapare: | |
|---|---|
| Materialtyp: | Elektronisk E-bok |
| Språk: | engelska |
| Publicerad: |
University of North Texas Press
|
| Ämnen: | |
| Länkar: | Full text available on Project MUSE [1/1/17] |
Liknande verk
Proofs
Proof of Guilt
av: Cairns
av: Cairns
Robot-Proof
av: Aoun
av: Aoun
Rabbit-proof fence.
av: Garimara, Doris Pilkington
Publicerad: (2008)
av: Garimara, Doris Pilkington
Publicerad: (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 /
av: Fader Daniel N. Author, et al.
av: Fader Daniel N. Author, et al.
Hooked on books : program and proof /
av: Fader Daniel N. Author, et al.
av: Fader Daniel N. Author, et al.
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
av: Dunham, William
Publicerad: (1994)
av: Dunham, William
Publicerad: (1994)
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
av: Dunham, William
Publicerad: (1994)
av: Dunham, William
Publicerad: (1994)
Hearths of Darkness
av: Williams
av: Williams
The Untold Story of the Lower Colorado River Authority
av: Williams
av: Williams
Passing the Torch
av: Williams
av: Williams
The Residue of Dreams
av: Williams
av: Williams
My Old Confederate Home
av: Williams
av: Williams
The Life and Work of John C. Campbell
av: Williams
av: Williams
It's My Country Too
av: Williams
av: Williams
The Urban Church Imagined
av: Williams
av: Williams
Religion and Progressive Activism
av: Williams
av: Williams
The Marrano Specter
av: Williams
av: Williams
Imagining Russia
av: Williams
av: Williams
Returning Home with Glory
av: Williams
av: Williams