Proof Complexity Generators
by Jan Krajíček Paperback 2025
- Author: Jan Krajíček
- ISBN 13: 9781009611701
- ISBN 10: 1009611704
- Publication Year: 2025
- Language: English
Specifications
Index-101009611704
LanguageEnglish
Index-139781009611701
Period-
Class Track-
Publisher- (2025)
Pages-