학술논문

On helping and interactive proof systems
Document Type
TEXT
Source
Subject
Computer Science
Probabilistic verifiable proof
Proof theory. Data processing
Informatik
Probabilistisch verifizierbarer Beweis
(LCSH)Proof theory. Data processing
Language
English