The Ackermann Award 2017.
From MaRDI portal
Publication:5111173
DOI10.4230/LIPICS.CSL.2017.1zbMATH Open1434.03004OpenAlexW2757211937MaRDI QIDQ5111173
Publication date: 26 May 2020
Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2017/7693/pdf/LIPIcs-CSL-2017-1.pdf/
Logic in computer science (03B70) History of mathematical logic and foundations (03-03) History of computer science (68-03) History of mathematics and mathematicians (01A99)
Related Items (1)
This page was built for publication: The Ackermann Award 2017.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111173)
