phone 02/210 210 99
LIBRISTO 0
Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €
phone Kapcsolat phoneHogyan vásároljunk

Extensional Constructs in Intensional Type Theory

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Extensional Constructs in Intensional Type Theory Martin Hofmann
Libristo kód: 06794662
Kiadó Springer London Ltd, szeptember 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Teljes leírás
? points 440 b
175.70 €
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
After forever Anna Todd / Puha kötésű
common.buy 14.65 €
kiárusítás
Collected Short Stories of Louis L'Amour, Volume 1 Louis Ľamour / Puha kötésű
common.buy 7.37 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) binding.
common.buy 22.43 €
EU Criminal Law Valsamis Mitsilegas / Puha kötésű
common.buy 122.32 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Puha kötésű
common.buy 11.01 €
Pembrokeshire Julian Rollins / Puha kötésű
common.buy 9.19 €
Bristol Football Club (RFU) (Classic Matches) Mark Hoskins / Puha kötésű
common.buy 16.06 €
Weck Den Sieger in Dir! Alexander Christiani / Puha kötésű
common.buy 63.48 €
His Real Life Catherine Hoffmann / Puha kötésű
common.buy 20.21 €
European integration and data protection Fabian Junge / Puha kötésű
common.buy 37.90 €
Idea of Europe Catriona Seth / Puha kötésű
common.buy 28.30 €
Revolution and Counterrevolution in Europe From 1918 to 1968 Pierre Frank / Puha kötésű
common.buy 17.88 €
India & Iran / Kemény kötésű
common.buy 66.92 €
Purification p P / Audio CD
common.buy 17.48 €
Kommunikationsmanagement Thomas Heinze / Puha kötésű
common.buy 45.18 €

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.

Információ a könyvről

Teljes megnevezés Extensional Constructs in Intensional Type Theory
Szerző Martin Hofmann
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 216
EAN 9781447112433
ISBN 1447112431
Libristo kód 06794662
Kiadó Springer London Ltd
Súly 359
Méretek 155 x 235 x 13

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása