Zoeken

U zocht naar: Auteur Pientka, Brigitte. Filter Auteur: Pientka, Brigitte. weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
thumbnail
Full text!
Auteur:
Pientka, Brigitte.; Tinelli, Cesare
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book