Login / Signup
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.
Moritz Müller
Published in:
Bull. Symb. Log. (2023)
Keyphrases
</>
case study
e learning
united kingdom
decision problems
hong kong
complete axiomatization
data mining
mathematical knowledge
open university
linear logic
electrical engineering
state university
worst case
expert systems
computational complexity
website
information systems
information retrieval