logic type theoretical

Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science, 10)

$260,82

22% OFF

$202,77

Envío gratis

Type-2 Fuzzy Logic in Control of Nonsmooth Systems: Theoretical Concepts and Applications (Studies in Fuzziness and Soft Computing Book 373)

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy Book 98)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)

Logic Modeling Methods in Program Evaluation (Research Methods for the Social Sciences)

Type Logical Grammar: Categorial Logic of Signs

Purposeful Program Theory: Effective Use of Theories of Change and Logic Models (Research Methods for the Social Sciences)

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science, 5497)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Theoretical Computer Science and General Issues)

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9634)

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications (Studies in Computational Intelligence Book 749)

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)

Resultados de búsquedas en

Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science, 10)

Type-2 Fuzzy Logic in Control of Nonsmooth Systems: Theoretical Concepts and Applications (Studies in Fuzziness and Soft Computing Book 373)

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy Book 98)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)

Logic Modeling Methods in Program Evaluation (Research Methods for the Social Sciences)

Type Logical Grammar: Categorial Logic of Signs

Purposeful Program Theory: Effective Use of Theories of Change and Logic Models (Research Methods for the Social Sciences)

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science, 5497)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Theoretical Computer Science and General Issues)

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9634)

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications (Studies in Computational Intelligence Book 749)

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Resultados de búsquedas en

logic type theoretical

Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science, 10)

Type-2 Fuzzy Logic in Control of Nonsmooth Systems: Theoretical Concepts and Applications (Studies in Fuzziness and Soft Computing Book 373)

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, 611)

Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy Book 98)

The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science, Series Number 21)

Logic Modeling Methods in Program Evaluation (Research Methods for the Social Sciences)

Type Logical Grammar: Categorial Logic of Signs

Purposeful Program Theory: Effective Use of Theories of Change and Logic Models (Research Methods for the Social Sciences)

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science, 5497)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Theoretical Computer Science and General Issues)

Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 9634)

Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications (Studies in Computational Intelligence Book 749)

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Débito, Crédito y Deuna

Pagos a través de Deuna

Pagos a través de PayPal

Garantía de entrega

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador