Proofs
| Hōputu: | Tāhiko Hautaka |
|---|---|
| Reo: | Ingarihi |
| I whakaputaina: |
Clarion Events, Inc
|
| Urunga tuihono: | Full text available on EBSCOhost[Jun 2003-Oct 2013 |
Ngā tūemi rite
Proof
mā: Williams
mā: Williams
Proof of Guilt
mā: Cairns
mā: Cairns
Robot-Proof
mā: Aoun
mā: Aoun
Rabbit-proof fence.
mā: Garimara, Doris Pilkington
I whakaputaina: (2008)
mā: Garimara, Doris Pilkington
I whakaputaina: (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 /
mā: Fader Daniel N. Author, me ētahi atu.
mā: Fader Daniel N. Author, me ētahi atu.
Hooked on books : program and proof /
mā: Fader Daniel N. Author, me ētahi atu.
mā: Fader Daniel N. Author, me ētahi atu.
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
mā: Dunham, William
I whakaputaina: (1994)
mā: Dunham, William
I whakaputaina: (1994)
The mathematical universe : an alphabetical journey through the great proofs, problems, and personalities /
mā: Dunham, William
I whakaputaina: (1994)
mā: Dunham, William
I whakaputaina: (1994)
Développement et persévérance professionnels dans l'enseignement
mā: Portelance
mā: Portelance
La contribution en ligne
mā: Proulx
mā: Proulx
L'inclusion en éducation physique
mā: Dugas
mā: Dugas
L'écriture réflexive
mā: Morisse
mā: Morisse
Désinstitutionnalisation psychiatrique en Acadie, en Ontario francophone et au Québec, 1930-2013
mā: Thifault
mā: Thifault
Structure en béton armé, 2e édition actualisée
mā: Chaallal
mā: Chaallal
Travail et société
mā: Tremblay
mā: Tremblay
Inside the Hollywood Fan Magazine
mā: Slide
mā: Slide
Recherches sur les difficultés d'enseignement et d'apprentissage des mathématiques
mā: Mary
mā: Mary
Penser les liens entre santé mentale et société
mā: Doucet
mā: Doucet
Construire des grilles d'évaluation descriptives au collégial
mā: ôté
mā: ôté
Investir et gérer le risque
mā: Caron
mā: Caron