Programming with Proofs – Computerphile

This content originally appeared on Computerphile and was authored by Computerphile

Print Share Comment Cite Upload Translate Updates

APA

Computerphile | Sciencx (2021-09-03T19:30:03+00:00) Programming with Proofs – Computerphile. Retrieved from https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/

MLA

" » Programming with Proofs – Computerphile." Computerphile | Sciencx - Friday September 3, 2021, https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/

HARVARD

Computerphile | Sciencx Friday September 3, 2021 » Programming with Proofs – Computerphile., viewed ,<https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/>

VANCOUVER

Computerphile | Sciencx - » Programming with Proofs – Computerphile. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/

CHICAGO

" » Programming with Proofs – Computerphile." Computerphile | Sciencx - Accessed . https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/

IEEE

" » Programming with Proofs – Computerphile." Computerphile | Sciencx [Online]. Available: https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/. [Accessed: ]

rf:citation

» Programming with Proofs – Computerphile | Computerphile | Sciencx | https://www.scien.cx/2021/09/03/programming-with-proofs-computerphile/ |

Please log in to upload a file.

There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.

Related Posts