Sciweavers

Share
LFCS
2016
Springer

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

4 years 3 months ago
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
Tudor Protopopescu
Added 07 Apr 2016
Updated 07 Apr 2016
Type Journal
Year 2016
Where LFCS
Authors Tudor Protopopescu
Comments (0)
books