Type Theory And Formal Proof: An Introduction (Hardcover)

Où acheter (1) Caractéristiques

Sponsorisé

Type Theory And Formal Proof: An Introduction (Hardcover)

Fnac FR

108.34 EUR

Prix mis à jour le: 24-05-2026 09:59:49

Voir l'offre

Général

Marque

Cambridge University Press

ISBN

Cambridge University Press 110703650X

Caractéristiques

Produits similaires

The Clausal Theory of Types

The Clausal Theory of Types - D. A. Wolfram

Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field (Cambridge Studies in Advanced Mathematics)

Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field (Cambridge Studies in Advanced Mathematics) - [Livre en VO]

Basic Simple Type Theory

Basic Simple Type Theory

The Theory and Practice of Breeding to Type and Its Application to the Breeding of Dogs, Farm Animals, Cage Birds and Other Small Pets

The Theory and Practice of Breeding to Type and Its Application to the Breeding of Dogs, Farm Animals, Cage Birds and Other Small Pets

Semantics of Type Theory, Progress in Theoretical Computer Science

Semantics of Type Theory, Progress in Theoretical Computer Science

Type Inheritance and Relational Theory by C.j Date

Type Inheritance and Relational Theory by C.j Date