Incomplete proofs and terms and their use in interactive theorem proving
G.I. Jojgov
Incomplete proofs and terms and their use in interactive theorem proving
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789038608624
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01G.I. Jojgov
Herkomst
Werk-id (NSTC)501229946
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501229946 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026