Space in Weak Propositional Proof Systems /

QR Code

Space in Weak Propositional Proof Systems /

Bibliographic Details
Main Author:	Bonacina, Ilario. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Subjects:	Computers. Computer science-Mathematics. Theory of Computation. Mathematics of Computing.

Similar Items

The Incomputable : Journeys Beyond the Turing Barrier /
Published: (2017)

Modern Language Models and Computation Theory with Applications /
by: Meduna, Alexander., et al.
Published: (2017)

Feistel Ciphers : Security Proofs and Cryptanalysis /
by: Nachef, Valerie., et al.
Published: (2017)

Mathematics for Computer Graphics /
by: Vince, John.
Published: (2017)

Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers /
Published: (2017)

The Monte Carlo Simulation Method for System Reliability and Risk Analysis /
by: Zio, Enrico.
Published: (2013)

Introduction to Mathematica® with Applications /
by: Mureşan, Marian.
Published: (2017)

Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Paradigms /
by: El Aimani, Laila.
Published: (2017)

Rendezvous in Distributed Systems : Theory, Algorithms and Applications /
by: Gu, Zhaoquan., et al.
Published: (2017)

Networked Control Systems /
by: Bemporad, Alberto., et al.
Published: (2010)

Structure-Preserving Algorithms for Oscillatory Differential Equations /
by: Wu, Xinyuan., et al.
Published: (2013)

Privately and Publicly Verifiable Computing Techniques : A Survey /
by: Demirel, Denise., et al.
Published: (2017)

Fuzzy Sets and Their Extensions: Representation, Aggregation and Models : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision /
Published: (2008)

Mathematics of Fuzzy Sets and Fuzzy Logic /
by: Bede, Barnabas.
Published: (2013)

Hypergraph Theory : An Introduction /
by: Bretto, Alain.
Published: (2013)

The Puzzle of Granular Computing
by: Apolloni, Bruno., et al.
Published: (2008)

Computer and Information Science /
Published: (2008)

Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach /
by: Limbourg, Philipp.
Published: (2008)

Proceedings of the 21st International Meshing Roundtable /
Published: (2013)

Graph Theory with Algorithms and its Applications : In Applied Science and Technology /
by: Saha Ray, Santanu.
Published: (2013)

Mathematics and Computing : Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings /
Published: (2017)

The Musical-Mathematical Mind : Patterns and Transformations /
Published: (2017)

Modelling Dynamics in Processes and Systems
Published: (2009)

Intelligent Routines : Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple /
by: Anastassiou, George A., et al.
Published: (2013)

Finite Element Methods for Engineering Sciences : Theoretical Approach and Problem Solving Techniques /
by: Chaskalovic, Joel.
Published: (2008)

Numerical Methods for Nonlinear Engineering Models
by: Hauser, John R.
Published: (2009)

Earth System Modelling - Volume 2 : Algorithms, Code Infrastructure and Optimisation /
by: Bonaventura, Luca., et al.
Published: (2012)

Description Logics in Multimedia Reasoning /
by: Sikos, Leslie F.
Published: (2017)

Combinatorial Optimization and Graph Algorithms : Communications of NII Shonan Meetings /
Published: (2017)

Nuclear Computational Science : A Century in Review /
by: Azmy, Yousry., et al.
Published: (2010)

The Mathematical-Function Computation Handbook : Programming Using the MathCW Portable Software Library /
by: Beebe, Nelson H.F.
Published: (2017)

Time-Delay Systems : Lyapunov Functionals and Matrices /
by: Kharitonov, Vladimir.
Published: (2013)

Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
by: O'Regan, Gerard.
Published: (2017)

Complex Systems in Biomedicine /
Published: (2006)

Task Scheduling for Multi-core and Parallel Architectures : Challenges, Solutions and Perspectives /
by: Chen, Quan., et al.
Published: (2017)

Uncertain Fuzzy Preference Relations and Their Applications /
by: Gong, Zaiwu., et al.
Published: (2013)

Computer Vision for Driver Assistance : Simultaneous Traffic and Driver Monitoring /
by: Rezaei, Mahdi., et al.
Published: (2017)

Proceedings of the 19th International Meshing Roundtable /
Published: (2010)

Intelligent Scene Modelling Information Systems
Published: (2009)

WALCOM: Algorithms and Computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings /
Published: (2017)