Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Extensional Constructs in Intensional Type Theory

Langue AnglaisAnglais
Livre Livre de poche
Livre Extensional Constructs in Intensional Type Theory Martin Hofmann
Code Libristo: 06794662
Éditeurs Springer London Ltd, septembre 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Description détaillée
? points 349 b
142.39 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Weck Den Sieger in Dir! Alexander Christiani / Livre Livre de poche
common.buy 59.99 €
Po zmierzchu Haruki Murakami / Livre Livre de poche
common.buy 6.09 €
Holmes z Kjóta 9 Mai Močizuki / Livre Livre de poche
common.buy 6.79 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / Livre numérique Adobe ePub DRM
common.buy 23.09 €
Joan Baez: From Every Stage Joan Baez / Audio CD Audio
common.buy 20.99 €
ESQUIRLA DEL AMANECER SANDERSON / Livre Livre relié
common.buy 19.99 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Livre Livre de poche
common.buy 22.59 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Livre Livre de poche
common.buy 35.29 €
Jacques und sein Herr Milan Kundera / Livre Livre de poche
common.buy 13.00 €
Akorát, že mi zabili tátu Vojtěch Klimt / Livre Livre relié
common.buy 15.29 €
Tls Lorenna Dantas Lara / Livre Livre de poche
common.buy 49.29 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Livre Livre de poche
common.buy 53.29 €
Hannibal Thomas Harris / Livre Livre de poche
common.buy 13.00 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Livre Livre
common.buy 39.99 €
EL REINO DE LOS JAQUINS Disney / Livre Livre de poche
common.buy 3.09 €
Kommunikationsmanagement Thomas Heinze / Livre Livre de poche
common.buy 39.99 €
After forever Anna Todd / Livre Livre de poche
common.buy 13.00 €
Pensees et autres maux Panthera Why'z / Livre Livre de poche
common.buy 8.59 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Livre Livre de poche
common.buy 13.99 €
Purification p P / Audio CD Audio
common.buy 19.99 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Livre Livre de poche
common.buy 36.90 €

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Extensional Constructs in Intensional Type Theory
Auteur Martin Hofmann
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 216
EAN 9781447112433
ISBN 1447112431
Code Libristo 06794662
Éditeurs Springer London Ltd
Poids 359
Dimensions 155 x 235 x 13

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Programmation informatique / génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Livre Livre de poche
common.buy 16.49 €
European integration and data protection Fabian Junge / Livre Livre de poche
common.buy 16.89 €
Entrepreneurship, Universities & Resources Ulla Hytti / Livre Livre relié
common.buy 150.39 €
Romanian Orthodox Church and the Holocaust Ion Popa / Livre Livre relié
common.buy 50.49 €
Pembrokeshire Julian Rollins / Livre Livre de poche
common.buy 9.09 €
Outline of the History of the Literature of the Old Testament John Taylor / Livre Livre de poche
common.buy 20.29 €
Idea of Europe Catriona Seth / Livre Livre de poche
common.buy 24.39 €
Blood is Thicker Than Water M Katherine Clark / Livre Livre de poche
common.buy 19.19 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Livre Livre de poche
common.buy 8.39 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Livre Livre de poche
common.buy 10.69 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Livre Livre de poche
common.buy 14.79 €
Top
The Electric State Simon Stalenhag / Livre Livre relié
common.buy 27.99 €
Invention of the Jewish People Shlomo Sand / Livre Livre de poche
common.buy 14.29 €
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Livre Livre de poche
common.buy 38.89 €
AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Livre Livre de poche
common.buy 57.39 €
A Legend Of Montrose: A Romance Sir Walter Scott / Livre Livre relié
common.buy 47.49 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Livre Livre relié
common.buy 54.39 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Livre Livre relié
common.buy 44.59 €
Understanding Jewellery: The 20th Century David Bennett / Livre Livre relié
common.buy 53.89 €
The Valley Esteban Rodriguez / Livre Livre de poche
common.buy 16.39 €
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Livre Livre relié
common.buy 134.39 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Articles imprimés Partitions
common.buy 23.59 €
Office / Livre Livre relié
common.buy 21.19 €
Restless Spirits William S. Yellow Robe Jr. / Livre numérique Adobe ePub DRM
common.buy 36.39 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?