Fields of Logic and Computation II  Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /  [electronic resource] : 
edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte. 
 - 1st ed. 2015. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (X, 319 p. 15 ill.) 
 - Lecture Notes in Computer Science,  9300  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783319235349 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.