Space in Weak Propositional Proof Systems /
Autor principal: | Bonacina, Ilario. (Autor) |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Materias: |
Ejemplares similares
-
The Incomputable : Journeys Beyond the Turing Barrier /
Publicado: (2017) -
Modern Language Models and Computation Theory with Applications /
por: Meduna, Alexander., et al.
Publicado: (2017) -
Basic Graph Theory /
por: Rahman, Md. Saidur.
Publicado: (2017) -
Feistel Ciphers : Security Proofs and Cryptanalysis /
por: Nachef, Valerie., et al.
Publicado: (2017) -
Mathematics for Computer Graphics /
por: Vince, John.
Publicado: (2017)