Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer London Ltd, září 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Celý popis
? points 330 b
3 297 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 216
EAN 9781447112433
ISBN 1447112431
Libristo kód 06794662
Nakladatelství Springer London Ltd
Váha 359
Rozměry 155 x 235 x 13

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Kniha Brožovaná
common.buy 1 285 Kč
Entrepreneurship, Universities & Resources Ulla Hytti / Kniha Pevná
common.buy 3 520 Kč
Romanian Orthodox Church and the Holocaust Ion Popa / Kniha Pevná
common.buy 1 064 Kč
Pembrokeshire Julian Rollins / Kniha Brožovaná
common.buy 198 Kč
Outline of the History of the Literature of the Old Testament John Taylor / Kniha Brožovaná
common.buy 469 Kč
Idea of Europe Catriona Seth / Kniha Brožovaná
common.buy 663 Kč
Blood is Thicker Than Water M Katherine Clark / Kniha Brožovaná
common.buy 526 Kč
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Kniha Brožovaná
common.buy 186 Kč
Little Red Tractor - The Day of the Big Surprise Peter Tye / Kniha Brožovaná
common.buy 237 Kč
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Kniha Brožovaná
common.buy 403 Kč
Top
The Electric State Simon Stalenhag / Kniha Pevná
common.buy 621 Kč
Top
Invention of the Jewish People Shlomo Sand / Kniha Brožovaná
common.buy 318 Kč
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Kniha Brožovaná
common.buy 361 Kč
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Kniha Brožovaná
common.buy 1 012 Kč
A Legend Of Montrose: A Romance Sir Walter Scott / Kniha Pevná
common.buy 1 054 Kč
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Kniha Pevná
common.buy 1 207 Kč
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Kniha Pevná
common.buy 990 Kč
Understanding Jewellery: The 20th Century David Bennett / Kniha Pevná
common.buy 1 440 Kč
The Valley Esteban Rodriguez / Kniha Brožovaná
common.buy 362 Kč
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Kniha Pevná
common.buy 3 289 Kč
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Tiskovina Noty
common.buy 545 Kč
Office / Kniha Pevná
common.buy 455 Kč
Restless Spirits William S. Yellow Robe Jr. / E-kniha Adobe ePub DRM
common.buy 844 Kč
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-kniha Adobe ePub DRM
common.buy 94 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?