phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

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 460 b
925 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top reduceri
Collected Short Stories of Louis L'Amour, Volume 1 Louis Ľamour / Carte broșată
common.buy 38 lei
After forever Anna Todd / Carte broșată
common.buy 61 lei
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) binding.
common.buy 111 lei
EU Criminal Law Valsamis Mitsilegas / Carte broșată
common.buy 640 lei
Little Red Tractor - The Day of the Big Surprise Peter Tye / Carte broșată
common.buy 58 lei
Weck Den Sieger in Dir! Alexander Christiani / Carte broșată
common.buy 320 lei
Pembrokeshire Julian Rollins / Carte broșată
common.buy 46 lei
Bristol Football Club (RFU) (Classic Matches) Mark Hoskins / Carte broșată
common.buy 81 lei
Kommunikationsmanagement Thomas Heinze / Carte broșată
common.buy 238 lei
Purification p P / Audio CD
common.buy 91 lei
His Real Life Catherine Hoffmann / Carte broșată
common.buy 108 lei
Idea of Europe Catriona Seth / Carte broșată
common.buy 148 lei
European integration and data protection Fabian Junge / Carte broșată
common.buy 200 lei
Revolution and Counterrevolution in Europe From 1918 to 1968 Pierre Frank / Carte broșată
common.buy 94 lei
India & Iran / Copertă tare
common.buy 337 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.

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

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