In memory of Mark Stickel

DOI10.1007/S10817-015-9347-ZzbMATH Open1337.01008OpenAlexW2200060237MaRDI QIDQ287330FDOQ287330

Authors Wolfgang Bibel, Richard Waldinger, Peter Baumgartner

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

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

This page was built for publication: In memory of Mark Stickel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287330)