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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Advances in Linear Logic

Name: Advances in Linear Logic
Brand: Cambridge University Press
SKU: 02035179
Price: 89.79 EUR
Availability: InStock
Author: Jean-Yves Girard
ISBN: 9780521559614

Jean-Yves Girard

Yves Lafont

Sprache

Englisch

Buch Broschur

Libristo-Code: 02035179

Verlag Cambridge University Press, Juni 1995

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main pr... Vollständige Beschreibung

Libristo-Code: 02035179

220 b

89.79 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

S'Integrer Pour s'Enrichir Elias T. Ayuk

Hardcover

53.79 €

Hermann von Stahleck Lionel Baumgärtner

Broschur

14.90 €

Welfengold Rolf Aderhold

Broschur

16.00 €

Technisches Deutsch für Ausbildung und Beruf Rosemarie Buhlmann

Broschur

39.89 €

La Barque amirale [nouvelles] Boulanger

Broschur

11.79 €

Approximation Theory R. Schaback

Broschur

45.29 €

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

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 Advances in Linear Logic

Autor Jean-Yves Girard, Jean-Yves Girard, Yves Lafont

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 400

EAN 9780521559614

ISBN 0521559618

Libristo-Code 02035179

Verlag Cambridge University Press

Gewicht 570

Abmessungen 153 x 226 x 23

Kategorie

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

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein

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