Toggle navigation
bib.howest.be
Iets gevonden in een andere bib?
Databanken
Contact & Openingsuren
EN
NL
Gericht zoeken
Alle velden
Titel
Auteur
Onderwerp
naar
Zoeken...
Zoeken
Toggle facets
Beperk de zoekresultaten
Type
e-book
1
Fulltext
online
1
Taal
Engels
1
Zoeken
U zocht naar:
Auteur
Blanchette, Jasmin Christian;Merz, Stephan
Filter Auteur: Blanchette, Jasmin Christian;Merz, Stephan weghalen
1
Item gevonden
Sorteer op relevantie
relevantie
jaar
auteur
titel
Aantal zoekresultaten per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
200
per pagina
Zoekresultaten
1.
Interactive Theorem Proving
Full text!
Auteur:
Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan
Uitgever:
Springer International Publishing 2016
Type:
e-book
