Relating proof systems for recursive types
C.A. Grabmeyer
Relating proof systems for recursive types
Paperback480 pagina’sNederlands
In het kort
Bibliografisch
ISBN-139789090190860
Editie1
TaalNederlands dut
Pagina’s480
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01C.A. Grabmeyer
Herkomst
Werk-id (NSTC)501273166
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501273166 · CB-relatie 9550551 · Bijgewerkt 6 augustus 2026