Yaacov Choueka: A Profile

Lecture Notes in Computer Science - Language, Culture, Computation. Computing - Theory and Technology ◽

10.1007/978-3-642-45321-2_2 ◽

2014 ◽

pp. 19-36

Author(s):

Nachum Dershowitz ◽

Ephraim Nissan

Download Full-text