Personensuche
X
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
1
Invited Paper: How Do Humans Succeed in Tasks Like Proving ..:
, In:
?
Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing ,
4
Climbing algorithms (invited talk):
, In:
?
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science ,
11