An appreciation of Bob Paige

DOI10.1007/S10990-005-7004-7zbMATH Open1087.01508OpenAlexW2031168569MaRDI QIDQ814999

Martin Davis

Publication date: 8 February 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-005-7004-7

zbMATH Keywords

Obituary

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

This page was built for publication: An appreciation of Bob Paige

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