Related Books

Abstract Recursion and Intrinsic Complexity
Language: en
Pages: 252
Authors: Yiannis N. Moschovakis
Categories: Computers
Type: BOOK - Published: 2018-12-06 - Publisher: Cambridge University Press

GET EBOOK

Presents a new framework for the complexity of algorithms, for all readers interested in the theory of computation.
Language and Automata Theory and Applications
Language: en
Pages: 447
Authors: Alberto Leporati
Categories: Computers
Type: BOOK - Published: 2020-02-25 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020, which was planned to be
Prawitz's Epistemic Grounding
Language: en
Pages: 284
Authors: Antonio Piccolomini d’Aragona
Categories: Philosophy
Type: BOOK - Published: 2023-01-01 - Publisher: Springer Nature

GET EBOOK

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic sema
Certified Programs and Proofs
Language: en
Pages: 318
Authors: Georges Gonthier
Categories: Computers
Type: BOOK - Published: 2013-12-11 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held
Energy Research Abstracts
Language: en
Pages: 752
Authors:
Categories: Power resources
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK