← Catalogus

G.I. Jojgov

1 titel in de boekenbase · Auteur
Theoretische informatica
Over G.I. Jojgov
G.I. Jojgov staat met 1 titel in de boekenbase als auteur. Het werk valt vooral onder theoretische informatica.
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
G.I. Jojgov
Paperback