Paper Info
Title
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic.
Year
Venue
Field
2016
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Information retrieval,Computer science,Theoretical computer science,Mathematical proof,Classical logic
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Aleksy Schubert18017.99