Documentation and Formal Mathematics: Web Technology meets Proof Assistants
Carst Tankink
Documentation and Formal Mathematics: Web Technology meets Proof Assistants
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789461919632
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Internet 988
NUR (alle)988 Internet
Medewerkers
Auteur A01Carst Tankink
Herkomst
Werk-id (NSTC)500935828
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500935828 · CB-relatie 7656783 · Bijgewerkt 6 augustus 2026