Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Extensional Constructs in Intensional Type Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Extensional Constructs in Intensional Type Theory Martin Hofmann
Libristo kód: 06794662
Nakladateľstvo Springer London Ltd, september 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Celý popis
? points 349 b
144.19 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Po zmierzchu Haruki Murakami / Kniha Brožovaná
common.buy 8.39 €
Hannibal Thomas Harris / Kniha Brožovaná
common.buy 11.84 €
Holmes z Kjóta 9 Mai Močizuki / Kniha Brožovaná
common.buy 7.99 €
Weck Den Sieger in Dir! Alexander Christiani / Kniha Brožovaná
common.buy 56.70 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-kniha Adobe ePub DRM
common.buy 22.17 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Kniha Brožovaná
common.buy 33.00 €
Joan Baez: From Every Stage Joan Baez / Audio Audio CD
common.buy 15.79 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Kniha Brožovaná
common.buy 35.74 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Kniha Brožovaná
common.buy 25.51 €
ESQUIRLA DEL AMANECER SANDERSON / Kniha Pevná
common.buy 22.57 €
Purification p P / Audio Audio CD
common.buy 17.41 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Kniha Brožovaná
common.buy 17.51 €
Akorát, že mi zabili tátu Vojtěch Klimt / Kniha Pevná
common.buy 15.89 €
Pensees et autres maux Panthera Why'z / Kniha Brožovaná
common.buy 8.29 €
After forever Anna Todd / Kniha Brožovaná
common.buy 11.84 €
EL REINO DE LOS JAQUINS Disney / Kniha Brožovaná
common.buy 3.53 €
Tls Lorenna Dantas Lara / Kniha Brožovaná
common.buy 49.91 €
Kommunikationsmanagement Thomas Heinze / Kniha Brožovaná
common.buy 37.86 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Kniha Brožovaná
common.buy 51.84 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Kniha Kniha
common.buy 38.47 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 216
EAN 9781447112433
ISBN 1447112431
Libristo kód 06794662
Nakladateľstvo Springer London Ltd
Váha 359
Rozmery 155 x 235 x 13

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Kniha Brožovaná
common.buy 55.68 €
Entrepreneurship, Universities & Resources Ulla Hytti / Kniha Pevná
common.buy 145.60 €
Romanian Orthodox Church and the Holocaust Ion Popa / Kniha Pevná
common.buy 46.37 €
Pembrokeshire Julian Rollins / Kniha Brožovaná
common.buy 8.70 €
Outline of the History of the Literature of the Old Testament John Taylor / Kniha Brožovaná
common.buy 20.55 €
Idea of Europe Catriona Seth / Kniha Brožovaná
common.buy 27.43 €
Blood is Thicker Than Water M Katherine Clark / Kniha Brožovaná
common.buy 21.76 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Kniha Brožovaná
common.buy 7.69 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Kniha Brožovaná
common.buy 9.81 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Kniha Brožovaná
common.buy 16.70 €
Top
The Electric State Simon Stalenhag / Kniha Pevná
common.buy 29.46 €
Top
Invention of the Jewish People Shlomo Sand / Kniha Brožovaná
common.buy 14.37 €
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Kniha Brožovaná
common.buy 15.79 €
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Kniha Brožovaná
common.buy 44.34 €
A Legend Of Montrose: A Romance Sir Walter Scott / Kniha Pevná
common.buy 43.63 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Kniha Pevná
common.buy 49.91 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Kniha Pevná
common.buy 40.90 €
Understanding Jewellery: The 20th Century David Bennett / Kniha Pevná
common.buy 63.08 €
The Valley Esteban Rodriguez / Kniha Brožovaná
common.buy 14.98 €
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Kniha Pevná
common.buy 157.05 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Tlačovina Noty
common.buy 22.57 €
Office / Kniha Pevná
common.buy 20.14 €
Restless Spirits William S. Yellow Robe Jr. / E-kniha Adobe ePub DRM
common.buy 34.93 €
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-kniha Adobe ePub DRM
common.buy 3.84 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?