Research needed: practice

ï Development of proof checkers;

ï Integration in the semantic web;

ï Infrastructure for trust and proof;

ï Trade-off: how good is good enough?

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique