Proof Complexity

From MaRDI portal
Revision as of 15:10, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4629797

DOI10.1017/9781108242066OpenAlexW4211118908MaRDI QIDQ4629797

Jan Krajíček

Publication date: 28 March 2019

Full work available at URL: https://doi.org/10.1017/9781108242066




Related Items (22)







This page was built for publication: Proof Complexity