Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Extensional Constructs in Intensional Type Theory

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Extensional Constructs in Intensional Type Theory Martin Hofmann
Libristo kod: 06794662
Nakladnici Springer London Ltd, rujan 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Cijeli opis
? points 349 b
144.04 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Po zmierzchu Haruki Murakami / Knjiga Meki uvez
common.buy 7.88 €
Hannibal Thomas Harris / Knjiga Meki uvez
common.buy 11.83 €
Holmes z Kjóta 9 Mai Močizuki / Knjiga Meki uvez
common.buy 8.39 €
Weck Den Sieger in Dir! Alexander Christiani / Knjiga Meki uvez
common.buy 56.64 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-knjiga Adobe ePub DRM
common.buy 21.13 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Knjiga Meki uvez
common.buy 32.97 €
Joan Baez: From Every Stage Joan Baez / Audio Audio CD
common.buy 15.77 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Knjiga Meki uvez
common.buy 35.70 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Knjiga Meki uvez
common.buy 24.17 €
ESQUIRLA DEL AMANECER SANDERSON / Knjiga Tvrdi uvez
common.buy 21.44 €
Purification p P / Audio Audio CD
common.buy 16.58 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Knjiga Meki uvez
common.buy 18.40 €
Akorát, že mi zabili tátu Vojtěch Klimt / Knjiga Tvrdi uvez
common.buy 18.50 €
Pensees et autres maux Panthera Why'z / Knjiga Meki uvez
common.buy 8.28 €
After forever Anna Todd / Knjiga Meki uvez
common.buy 11.83 €
EL REINO DE LOS JAQUINS Disney / Knjiga Meki uvez
common.buy 3.33 €
Tls Lorenna Dantas Lara / Knjiga Meki uvez
common.buy 49.86 €
Kommunikationsmanagement Thomas Heinze / Knjiga Meki uvez
common.buy 37.82 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Knjiga Meki uvez
common.buy 49.56 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Knjiga Knjiga
common.buy 36.41 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 216
EAN 9781447112433
ISBN 1447112431
Libristo kod 06794662
Nakladnici Springer London Ltd
Težina 359
Dimenzije 155 x 235 x 13

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Knjiga Meki uvez
common.buy 55.63 €
Entrepreneurship, Universities & Resources Ulla Hytti / Knjiga Tvrdi uvez
common.buy 138.58 €
Romanian Orthodox Church and the Holocaust Ion Popa / Knjiga Tvrdi uvez
common.buy 48.65 €
Pembrokeshire Julian Rollins / Knjiga Meki uvez
common.buy 8.69 €
Outline of the History of the Literature of the Old Testament John Taylor / Knjiga Meki uvez
common.buy 20.52 €
Idea of Europe Catriona Seth / Knjiga Meki uvez
common.buy 28.82 €
Blood is Thicker Than Water M Katherine Clark / Knjiga Meki uvez
common.buy 22.95 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Knjiga Meki uvez
common.buy 8.08 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Knjiga Meki uvez
common.buy 10.31 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Knjiga Meki uvez
common.buy 17.49 €
Top
The Electric State Simon Stalenhag / Knjiga Tvrdi uvez
common.buy 27.61 €
Top
Invention of the Jewish People Shlomo Sand / Knjiga Meki uvez
common.buy 14.05 €
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Knjiga Meki uvez
common.buy 15.77 €
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Knjiga Meki uvez
common.buy 44.30 €
A Legend Of Montrose: A Romance Sir Walter Scott / Knjiga Tvrdi uvez
common.buy 45.81 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Knjiga Tvrdi uvez
common.buy 52.39 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Knjiga Tvrdi uvez
common.buy 42.98 €
Understanding Jewellery: The 20th Century David Bennett / Knjiga Tvrdi uvez
common.buy 63.01 €
The Valley Esteban Rodriguez / Knjiga Meki uvez
common.buy 15.77 €
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Knjiga Tvrdi uvez
common.buy 156.88 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Tiskanica Note
common.buy 21.23 €
Office / Knjiga Tvrdi uvez
common.buy 20.12 €
Restless Spirits William S. Yellow Robe Jr. / E-knjiga Adobe ePub DRM
common.buy 33.27 €
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-knjiga Adobe ePub DRM
common.buy 3.63 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?