Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Advances in Linear Logic

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

Jean-Yves Girard

Yves Lafont

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02035179

Založba Cambridge University Press, junij 1995

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main pr... Celoten opis

Koda Libristo: 02035179

206 b

84.80 €

Na zalogi pri dobavitelju Odposlali bomo v 9-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Informatik als Schlüssel zur Qualifikation Klaus G. Troitzsch

Mehka

50.01 €

La Barque amirale [nouvelles] Boulanger

Mehka

9.37 €

Большая энциклопедия хулиганствующего ортодокса Иосиф Раскин

Trda

16.53 €

Mathematik 8. Arbeitsheft mit interaktiven Übungen. Für Regionale Schulen in Mecklenburg-Vorpommern Bernd Liebau

Preglednica

14.11 €

Ben Hur - Die spaten Jahre Alexander Kronenheim

Mehka

6.95 €

Richelieu David Cusin

Mehka

12.70 €

S'Integrer Pour s'Enrichir Elias T. Ayuk

Trda

48.70 €

Hermann von Stahleck Lionel Baumgärtner

Mehka

12.60 €

Welfengold Rolf Aderhold

Mehka

13.50 €

Technisches Deutsch für Ausbildung und Beruf Rosemarie Buhlmann

Mehka

34.68 €

Approximation Theory R. Schaback

Mehka

40.93 €

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.