Correctness and Availability
C.S. Kaliszyk
Correctness and Availability building Computer Algebra on top of Proof Assistants and making Proof Assistants available over the Web
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789090244440
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01C.S. Kaliszyk
Herkomst
Werk-id (NSTC)500572070
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500572070 · CB-relatie 7812152 · Bijgewerkt 6 augustus 2026