Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: A Defining interactive proofs and arguments: A.2 On computationally bounded provers: An overview.

Title:
A Defining interactive proofs and arguments: A.2 On computationally bounded provers: An overview.
Authors:
Source:
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p237-241, 5p
Database:
Complementary Index