Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Extensional Constructs in Intensional Type Theory

Limba englezăengleză
Carte Carte broșată
Carte Extensional Constructs in Intensional Type Theory Martin Hofmann
Codul Libristo: 06794662
Editura Springer London Ltd, septembrie 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Descrierea completă
? points 367 b
796.64 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Po zmierzchu Haruki Murakami / Carte Carte broșată
common.buy 43.30 lei
Hannibal Thomas Harris / Carte Carte broșată
common.buy 65.47 lei
Holmes z Kjóta 9 Mai Močizuki / Carte Carte broșată
common.buy 46.62 lei
Weck Den Sieger in Dir! Alexander Christiani / Carte Carte broșată
common.buy 313.43 lei
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-book Adobe ePub DRM
common.buy 116.16 lei
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Carte Carte broșată
common.buy 183.20 lei
Joan Baez: From Every Stage Joan Baez / Audio Audio CD
common.buy 86.70 lei
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Carte Carte broșată
common.buy 198.09 lei
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Carte Carte broșată
common.buy 133.34 lei
ESQUIRLA DEL AMANECER SANDERSON / Carte Copertă tare
common.buy 117.93 lei
Purification p P / Audio Audio CD
common.buy 91.49 lei
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Carte Carte broșată
common.buy 101.28 lei
Akorát, že mi zabili tátu Vojtěch Klimt / Carte Copertă tare
common.buy 102.53 lei
Pensees et autres maux Panthera Why'z / Carte Carte broșată
common.buy 45.69 lei
After forever Anna Todd / Carte Carte broșată
common.buy 65.47 lei
EL REINO DE LOS JAQUINS Disney / Carte Carte broșată
common.buy 18.21 lei
Tls Lorenna Dantas Lara / Carte Carte broșată
common.buy 276.78 lei
Kommunikationsmanagement Thomas Heinze / Carte Carte broșată
common.buy 209.43 lei
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Carte Carte broșată
common.buy 272.31 lei
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Carte Carte
common.buy 212.45 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 216
EAN 9781447112433
ISBN 1447112431
Codul Libristo 06794662
Editura Springer London Ltd
Greutatea 359
Dimensiuni 155 x 235 x 13

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Carte Carte broșată
common.buy 305.20 lei
Entrepreneurship, Universities & Resources Ulla Hytti / Carte Copertă tare
common.buy 762.61 lei
Romanian Orthodox Church and the Holocaust Ion Popa / Carte Copertă tare
common.buy 267.94 lei
Pembrokeshire Julian Rollins / Carte Carte broșată
common.buy 48.29 lei
Outline of the History of the Literature of the Old Testament John Taylor / Carte Carte broșată
common.buy 114.18 lei
Idea of Europe Catriona Seth / Carte Carte broșată
common.buy 158.43 lei
Blood is Thicker Than Water M Katherine Clark / Carte Carte broșată
common.buy 126.36 lei
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Carte Carte broșată
common.buy 44.65 lei
Little Red Tractor - The Day of the Big Surprise Peter Tye / Carte Carte broșată
common.buy 57.03 lei
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Carte Carte broșată
common.buy 96.28 lei
Top
The Electric State Simon Stalenhag / Carte Copertă tare
common.buy 155.20 lei
Top
Invention of the Jewish People Shlomo Sand / Carte Carte broșată
common.buy 78.27 lei
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Carte Carte broșată
common.buy 87.33 lei
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Carte Carte broșată
common.buy 232.13 lei
A Legend Of Montrose: A Romance Sir Walter Scott / Carte Copertă tare
common.buy 251.91 lei
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Carte Copertă tare
common.buy 288.55 lei
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Carte Copertă tare
common.buy 236.50 lei
Understanding Jewellery: The 20th Century David Bennett / Carte Copertă tare
common.buy 342.05 lei
The Valley Esteban Rodriguez / Carte Carte broșată
common.buy 86.91 lei
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Carte Copertă tare
common.buy 877.53 lei
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Materiale tipărite Note muzicale
common.buy 118.56 lei
Office / Carte Copertă tare
common.buy 112.73 lei
Restless Spirits William S. Yellow Robe Jr. / E-book Adobe ePub DRM
common.buy 182.99 lei
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-book Adobe ePub DRM
common.buy 20.39 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?