In memory of Mark Stickel

DOI10.1007/S10817-015-9347-ZMaRDI QIDQ287330zbMATHOpenAlexFDO

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)