Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Extensional Constructs in Intensional Type Theory

Name: Extensional Constructs in Intensional Type Theory
Brand: Springer London Ltd
SKU: 06794662
Price: 150.19 EUR
Availability: InStock
Author: Martin Hofmann
ISBN: 9781447112433

Martin Hofmann

Sprache

Englisch

Buch Broschur

Libristo-Code: 06794662

Verlag Springer London Ltd, September 2011

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Vollständige Beschreibung

Libristo-Code: 06794662

368 b

150.19 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Po zmierzchu Haruki Murakami

Broschur

9.19 €

Hannibal Thomas Harris

Broschur

13.00 €

Holmes z Kjóta 9 Mai Močizuki

Broschur

9.29 €

Weck Den Sieger in Dir! Alexander Christiani

Broschur

59.99 €

Mega Guide Pharmaco Infirmier Laurent Chouchana

Adobe ePub DRM

22.89 €

Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh

Broschur

36.90 €

Joan Baez: From Every Stage Joan Baez

Audio CD

20.99 €

Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade

Broschur

37.29 €

La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras

Broschur

26.39 €

ESQUIRLA DEL AMANECER SANDERSON

Hardcover

23.29 €

Purification p P

Audio CD

19.99 €

Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie

Broschur

19.09 €

Akorát, že mi zabili tátu Vojtěch Klimt

Hardcover

20.29 €

Pensees et autres maux Panthera Why'z

Broschur

8.59 €

After forever Anna Todd

Broschur

13.00 €

EL REINO DE LOS JAQUINS Disney

Broschur

3.59 €

Tls Lorenna Dantas Lara

Broschur

52.19 €

Kommunikationsmanagement Thomas Heinze

Broschur

39.99 €

Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe

Broschur

53.49 €

ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA

Buch

39.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Extensional Constructs in Intensional Type Theory

Autor Martin Hofmann

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 216

EAN 9781447112433

ISBN 1447112431

Libristo-Code 06794662

Verlag Springer London Ltd

Gewicht 359

Abmessungen 155 x 235 x 13

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert