Jasmin Christian Blanchette

Jasmin Christian Blanchette

2 ספרים במאגר

ספרים

Interactive Theorem ProvingJasmin Christian Blanchette

Interactive Theorem Proving

Jasmin Christian Blanchette · 2016

Tests and ProofsJasmin Christian Blanchette

Tests and Proofs

Jasmin Christian Blanchette · 2015