Zoeken

U zocht naar: Auteur Pattinson, Dirk Filter Auteur: Pattinson, Dirk weghalen
1 Item gevonden
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