Merkliste 
 1 Ergebnisse 
 
1

Invited Paper: How Do Humans Succeed in Tasks Like Proving ..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Levin, Leonid A. - p. 513-517 , 2023