Zoeken

U zocht naar: Auteur Ayala-Rincón Filter Auteur: Ayala-Rincón weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Interactive Theorem Proving
thumbnail
Full text!
Auteur:
Ayala-Rincón; Muñoz, César A.
Uitgever:
Springer International Publishing 2017
Type:
e-book
2. Applied Logic for Computer Scientists
thumbnail
Full text!
Auteur:
Ayala-Rincón; de Moura, Flávio L. C.
Uitgever:
Springer International Publishing 2017
Type:
e-book