DOI10.1007/s10817-015-9347-zzbMath1337.01008MaRDI QIDQ287330
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
Publication date: 26 May 2016 Published in: Journal of Automated Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10817-015-9347-z
Mathematics Subject Classification ID
01A70: Biographies, obituaries, personalia, bibliographies
68-03: History of computer science