Advertentie
Isabelle
Isabelle - Generic Proof Assistant die wiskundige formules in een formele taal kan worden uitgedrukt ...
assistent proof assistant bewijs formaliseren wiskundig bewijs formele verificatie
Fenoscape
Link Evolution to Genomics met Phenotype Ontologieën ...
formaliseren formaliseren beschrijving evolutionaire karakter berekenbaar
Kleinig geld
Houd eenvoudig willekeurige uitgaven bij. ...