Results 291 to 300 of about 1,573,175 (303)
Some of the next articles are maybe not open access.

Zero-knowledge proofs of identity

Journal of Cryptology, 1988
Adi Shamir, Amos Fiat, Uriel Feige
exaly  

Algebraic methods for interactive proof systems

Journal of the ACM, 1992
Noam Nisan, Lance Fortnow, Carsten Lund
exaly  

Godel's Proof

2012
Ernest Nagel, James R. Newman
openaire   +1 more source

Proof Frameworks: A Way to Get Started

Primus, 2018
John Selden Jr., Annie Selden
exaly  

Proof of a program: FIND

Communications of the ACM, 1971
C A R Hoare
exaly  

The Carneades model of argument and burden of proof

Artificial Intelligence, 2007
Henry Prakken   +2 more
exaly  

When is a Proof a Proof?

Social Studies of Science, 2003
openaire   +1 more source

Home - About - Disclaimer - Privacy