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 Gebonden (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 349 b
144.31 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Po zmierzchu Haruki Murakami / Boek Gebonden (paperback)
common.buy 9.11 €
Hannibal Thomas Harris / Boek Gebonden (paperback)
common.buy 11.85 €
Holmes z Kjóta 9 Mai Močizuki / Boek Gebonden (paperback)
common.buy 8.91 €
Weck Den Sieger in Dir! Alexander Christiani / Boek Gebonden (paperback)
common.buy 56.74 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-book Adobe ePub DRM
common.buy 22.18 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Boek Gebonden (paperback)
common.buy 33.03 €
Joan Baez: From Every Stage Joan Baez / Audio Audio cd
common.buy 15.80 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Boek Gebonden (paperback)
common.buy 35.76 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Boek Gebonden (paperback)
common.buy 25.53 €
ESQUIRLA DEL AMANECER SANDERSON / Boek Gebonden (harde band)
common.buy 22.59 €
Purification p P / Audio Audio cd
common.buy 17.42 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Boek Gebonden (paperback)
common.buy 18.43 €
Akorát, že mi zabili tátu Vojtěch Klimt / Boek Gebonden (harde band)
common.buy 19.55 €
Pensees et autres maux Panthera Why'z / Boek Gebonden (paperback)
common.buy 8.30 €
After forever Anna Todd / Boek Gebonden (paperback)
common.buy 11.85 €
EL REINO DE LOS JAQUINS Disney / Boek Gebonden (paperback)
common.buy 3.54 €
Tls Lorenna Dantas Lara / Boek Gebonden (paperback)
common.buy 49.95 €
Kommunikationsmanagement Thomas Heinze / Boek Gebonden (paperback)
common.buy 37.89 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Boek Gebonden (paperback)
common.buy 51.88 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Boek Boek
common.buy 38.50 €

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 - Gebonden (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 Gebonden (paperback)
common.buy 55.73 €
Entrepreneurship, Universities & Resources Ulla Hytti / Boek Gebonden (harde band)
common.buy 145.73 €
Romanian Orthodox Church and the Holocaust Ion Popa / Boek Gebonden (harde band)
common.buy 48.74 €
Pembrokeshire Julian Rollins / Boek Gebonden (paperback)
common.buy 8.71 €
Outline of the History of the Literature of the Old Testament John Taylor / Boek Gebonden (paperback)
common.buy 20.56 €
Idea of Europe Catriona Seth / Boek Gebonden (paperback)
common.buy 28.87 €
Blood is Thicker Than Water M Katherine Clark / Boek Gebonden (paperback)
common.buy 23.00 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Boek Gebonden (paperback)
common.buy 8.10 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Boek Gebonden (paperback)
common.buy 10.33 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Boek Gebonden (paperback)
common.buy 17.52 €
TOP
The Electric State Simon Stalenhag / Boek Gebonden (harde band)
common.buy 27.66 €
TOP
Invention of the Jewish People Shlomo Sand / Boek Gebonden (paperback)
common.buy 14.08 €
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Boek Gebonden (paperback)
common.buy 15.80 €
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Boek Gebonden (paperback)
common.buy 46.81 €
A Legend Of Montrose: A Romance Sir Walter Scott / Boek Gebonden (harde band)
common.buy 45.90 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Boek Gebonden (harde band)
common.buy 52.49 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Boek Gebonden (harde band)
common.buy 43.06 €
Understanding Jewellery: The 20th Century David Bennett / Boek Gebonden (harde band)
common.buy 63.13 €
The Valley Esteban Rodriguez / Boek Gebonden (paperback)
common.buy 15.80 €
TOP
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Boek Gebonden (harde band)
common.buy 157.18 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Drukwerk Bladmuziek
common.buy 22.59 €
Office / Boek Gebonden (harde band)
common.buy 20.16 €
Restless Spirits William S. Yellow Robe Jr. / E-book Adobe ePub DRM
common.buy 34.95 €
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-book Adobe ePub DRM
common.buy 3.84 €

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?