Zoeken

U zocht naar: Auteur Ramanayake, Revantha Filter Auteur: Ramanayake, Revantha weghalen Taal Engels Filter Taal: Engels weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Reasoning with Analytic Tableaux and Related Methods
thumbnail
Full text!
Auteur:
Ramanayake, Revantha; Urban, Josef
Uitgever:
Springer Nature Switzerland 2023
Type:
e-book