DOI10.1007/978-3-642-45321-2_2zbMath1486.01057MaRDI QIDQ5498740
Ephraim Nissan, Nachum Dershowitz
Publication date: 10 February 2015 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-45321-2_2
Mathematics Subject Classification ID
01A70: Biographies, obituaries, personalia, bibliographies
68-03: History of computer science