Clausification in Coq
M. Bezem
In het kort
ISBN-13
9789039319789
Uitgever
Bibliografisch
ISBN-139789039319789
SerieLogic group preprint series — deel 187
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M. Bezem
Auteur A01D. Hendriks
Herkomst
Werk-id (NSTC)501202489
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501202489 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026