|
|
|
1
|
|
Zeno: An Automated Prover for Properties of Recursive Data Structures / / William Sonnex, Sophia Drossopoulou and Susan Eisenbach --
|
2012
|
1
|
|
Zeno of Rhodes and the Rhodian view of the past / / Hans-Ulrich Wiemer --
|
2013
|
1
|
|
Zenonian Strategies / / David Sedley --
|
2017
|
1
|
|
Zensokyoku sho / (Fusako Matsunaga, soprano ; Noriko Kono, piano) ;
|
2011
|
1
|