bn:00840624n
Noun Concept
Categories: Théorie de la complexité des algorithmes
FR
système de preuve interactive  Systeme de preuve interactive
FR
En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Wikipedia
Definitions
Relations
Sources
FR
En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Wikipedia
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations