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