Proofs
| Fformat: | Electronig Cylchgrawn |
|---|---|
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Clarion Events, Inc
|
| Mynediad Ar-lein: | Full text available on EBSCOhost[Jun 2003-Oct 2013 |
Eitemau Tebyg
Proof
gan: Williams
gan: Williams
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)
Développement et persévérance professionnels dans l'enseignement
gan: Portelance
gan: Portelance
La contribution en ligne
gan: Proulx
gan: Proulx
L'inclusion en éducation physique
gan: Dugas
gan: Dugas
L'écriture réflexive
gan: Morisse
gan: Morisse
Désinstitutionnalisation psychiatrique en Acadie, en Ontario francophone et au Québec, 1930-2013
gan: Thifault
gan: Thifault
Structure en béton armé, 2e édition actualisée
gan: Chaallal
gan: Chaallal
Travail et société
gan: Tremblay
gan: Tremblay
Inside the Hollywood Fan Magazine
gan: Slide
gan: Slide
Recherches sur les difficultés d'enseignement et d'apprentissage des mathématiques
gan: Mary
gan: Mary
Penser les liens entre santé mentale et société
gan: Doucet
gan: Doucet
Construire des grilles d'évaluation descriptives au collégial
gan: ôté
gan: ôté
Investir et gérer le risque
gan: Caron
gan: Caron