Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Extensional Constructs in Intensional Type Theory

Język AngielskiAngielski
Książka Miękka
Książka Extensional Constructs in Intensional Type Theory Martin Hofmann
Kod Libristo: 06794662
Wydawnictwo Springer London Ltd, wrzesień 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Cały opis
? points 349 b
612.23 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Po zmierzchu Haruki Murakami / Książka Miękka
common.buy 32.09 zł
Hannibal Thomas Harris / Książka Miękka
common.buy 50.20 zł
Holmes z Kjóta 9 Mai Močizuki / Książka Miękka
common.buy 35.61 zł
Weck Den Sieger in Dir! Alexander Christiani / Książka Miękka
common.buy 240.56 zł
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-book Adobe ePub DRM
common.buy 94.27 zł
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Książka Miękka
common.buy 140.15 zł
Joan Baez: From Every Stage Joan Baez / Audio CD Audio
common.buy 67.30 zł
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Książka Miękka
common.buy 151.52 zł
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Książka Miękka
common.buy 108.35 zł
ESQUIRLA DEL AMANECER SANDERSON / Książka Twarda
common.buy 95.88 zł
Purification p P / Audio CD Audio
common.buy 73.74 zł
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Książka Miękka
common.buy 78.17 zł
Akorát, že mi zabili tátu Vojtěch Klimt / Książka Twarda
common.buy 78.67 zł
Pensees et autres maux Panthera Why'z / Książka Miękka
common.buy 35.10 zł
After forever Anna Todd / Książka Miękka
common.buy 50.20 zł
EL REINO DE LOS JAQUINS Disney / Książka Miękka
common.buy 14.88 zł
Tls Lorenna Dantas Lara / Książka Miękka
common.buy 211.78 zł
Kommunikationsmanagement Thomas Heinze / Książka Miękka
common.buy 160.87 zł
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Książka Miękka
common.buy 220.24 zł
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Książka Książka
common.buy 163.49 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 216
EAN 9781447112433
ISBN 1447112431
Kod Libristo 06794662
Wydawnictwo Springer London Ltd
Waga 359
Wymiary 155 x 235 x 13

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Książka Miękka
common.buy 236.33 zł
Entrepreneurship, Universities & Resources Ulla Hytti / Książka Twarda
common.buy 618.17 zł
Romanian Orthodox Church and the Holocaust Ion Popa / Książka Twarda
common.buy 206.85 zł
Pembrokeshire Julian Rollins / Książka Miękka
common.buy 37.02 zł
Outline of the History of the Literature of the Old Testament John Taylor / Książka Miękka
common.buy 87.42 zł
Idea of Europe Catriona Seth / Książka Miękka
common.buy 122.44 zł
Blood is Thicker Than Water M Katherine Clark / Książka Miękka
common.buy 97.49 zł
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Książka Miękka
common.buy 34.40 zł
Little Red Tractor - The Day of the Big Surprise Peter Tye / Książka Miękka
common.buy 43.86 zł
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Książka Miękka
common.buy 74.24 zł
TOP
The Electric State Simon Stalenhag / Książka Twarda
common.buy 117.51 zł
TOP
Invention of the Jewish People Shlomo Sand / Książka Miękka
common.buy 59.65 zł
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Książka Miękka
common.buy 67.10 zł
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Książka Miękka
common.buy 177.67 zł
A Legend Of Montrose: A Romance Sir Walter Scott / Książka Twarda
common.buy 194.58 zł
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Książka Twarda
common.buy 222.85 zł
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Książka Twarda
common.buy 182.61 zł
Understanding Jewellery: The 20th Century David Bennett / Książka Twarda
common.buy 267.63 zł
The Valley Esteban Rodriguez / Książka Miękka
common.buy 66.90 zł
TOP
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Książka Twarda
common.buy 666.46 zł
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Prasa Nuty
common.buy 95.67 zł
Office / Książka Twarda
common.buy 85.71 zł
Restless Spirits William S. Yellow Robe Jr. / E-book Adobe ePub DRM
common.buy 148.40 zł
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-book Adobe ePub DRM
common.buy 16.49 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?