Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Extensional Constructs in Intensional Type Theory

Taal EngelsEngels
Boek Paperback
Boek Extensional Constructs in Intensional Type Theory Martin Hofmann
Libristo-code: 06794662
Uitgeverij Springer London Ltd, september 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Volledige beschrijving
? points 348 b
143.00 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Jacques und sein Herr Milan Kundera / Boek Paperback
common.buy 13.55 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Boek Paperback
common.buy 25.20 €
Analiza ?a?cucha warto?ci dla Moringa Oleifera w pó?nocno-zachodniej Nigerii / Boek Paperback
common.buy 43.09 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Boek Paperback
common.buy 35.34 €
Joan Baez: From Every Stage Joan Baez / Audio Audio cd
common.buy 15.76 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Boek Paperback
common.buy 32.73 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-book Adobe ePub DRM
common.buy 22.09 €
Weck Den Sieger in Dir! Alexander Christiani / Boek Paperback
common.buy 56.23 €
Holmes z Kjóta 9 Mai Močizuki / Boek Paperback
common.buy 8.83 €
Po zmierzchu Haruki Murakami / Boek Paperback
common.buy 8.02 €
Hannibal Thomas Harris / Boek Paperback
common.buy 11.74 €
ESQUIRLA DEL AMANECER SANDERSON / Boek Gebonden
common.buy 22.29 €
Purification p P / Audio Audio cd
common.buy 16.06 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Boek Paperback
common.buy 16.86 €
Akorát, že mi zabili tátu Vojtěch Klimt / Boek Gebonden
common.buy 19.37 €
Pensees et autres maux Panthera Why'z / Boek Paperback
common.buy 8.23 €
After forever Anna Todd / Boek Paperback
common.buy 11.74 €
Geschichte der narrativen Filmmontage Michaela S Ast / Boek Paperback
common.buy 36.55 €
EL REINO DE LOS JAQUINS Disney / Boek Paperback
common.buy 3.91 €
Tls Lorenna Dantas Lara / Boek Paperback
common.buy 49.50 €
Kommunikationsmanagement Thomas Heinze / Boek Paperback
common.buy 37.55 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Boek Paperback
common.buy 50.31 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Boek Boek
common.buy 38.15 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Extensional Constructs in Intensional Type Theory
Auteur Martin Hofmann
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2011
Aantal pagina's 216
EAN 9781447112433
ISBN 1447112431
Libristo-code 06794662
Uitgeverij Springer London Ltd
Gewicht 359
Afmetingen 155 x 235 x 13

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Boek Paperback
common.buy 55.23 €
European integration and data protection Fabian Junge / Boek Paperback
common.buy 16.06 €
Entrepreneurship, Universities & Resources Ulla Hytti / Boek Gebonden
common.buy 146.02 €
Romanian Orthodox Church and the Holocaust Ion Popa / Boek Gebonden
common.buy 49.70 €
Pembrokeshire Julian Rollins / Boek Paperback
common.buy 8.63 €
Outline of the History of the Literature of the Old Testament John Taylor / Boek Paperback
common.buy 20.48 €
Jupiter's Daughters Mrs. C. Jenkin / Boek Paperback
common.buy 20.48 €
Idea of Europe Catriona Seth / Boek Paperback
common.buy 29.32 €
Games, Ideas and Activities for the Primary PE William Allen / Boek Paperback
common.buy 22.69 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Boek Paperback
common.buy 8.23 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Boek Paperback
common.buy 10.54 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Boek Paperback
common.buy 17.77 €
TOP
The Electric State Simon Stalenhag / Boek Gebonden
common.buy 28.51 €
TOP
Invention of the Jewish People Shlomo Sand / Boek Paperback
common.buy 14.35 €
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Boek Paperback
common.buy 16.16 €
Blood is Thicker Than Water M Katherine Clark / Boek Paperback
common.buy 23.39 €
Young Hollywood Actors: How They Got Started, How They Keep Going: Stories and Advice from Your Favorite Performers Bonnie J. Wallace / Boek Paperback
common.buy 17.77 €
A Legend Of Montrose: A Romance Sir Walter Scott / Boek Gebonden
common.buy 50.53 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Boek Gebonden
common.buy 53.52 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Boek Gebonden
common.buy 43.88 €
TOP
Understanding Jewellery: The 20th Century David Bennett / Boek Gebonden
common.buy 69.39 €
The Valley Esteban Rodriguez / Boek Paperback
common.buy 16.06 €
Dancing with my Father Jo Sorochinsky / Boek Paperback
common.buy 20.68 €
TOP
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Boek Gebonden
common.buy 207.48 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?