Zoeken

U zocht naar: Auteur Blanchette, Jasmin Filter Auteur: Blanchette, Jasmin weghalen Taal Engels Filter Taal: Engels weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning
thumbnail
Full text!
Auteur:
Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Uitgever:
Springer International Publishing 2022
Type:
e-book
2. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Uitgever:
Springer International Publishing 2016
Type:
e-book