Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Di Mano in Mano Soc. Coop, Cambiago, MI, Italien
EUR 35,20
Anzahl: 1 verfügbar
In den WarenkorbBrossura. Testo in inglese / Text in english. Numero di tavole: 0 pp.vi; 389 9780521559614 altezza 23 larghezza 15.3 Esemplare in buone condizioni.Copertina con tracce di polvere e segni di usura ai bordi e agli angoli.Pagine ingiallite ai bordi.Adesivo in seconda di copertina.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 93,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press 2010-02-22, 2010
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 95,72
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2010
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
EUR 104,96
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. Editor(s): Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Paris). Series Editor(s): Hitchin, N. J. Series: London Mathematical Society Lecture Note Series. Num Pages: 400 pages, many line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 23. Weight in Grams: 590. . 2010. paperback. . . . .
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
Sprache: Englisch
Verlag: Cambridge University Press CUP, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 400.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 133,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. Editor(s): Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Paris). Series Editor(s): Hitchin, N. J. Series: London Mathematical Society Lecture Note Series. Num Pages: 400 pages, many line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 23. Weight in Grams: 590. . 2010. paperback. . . . . Books ship from the US and Ireland.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 100,03
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 397 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 103,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Sprache: Englisch
Verlag: Cambridge University Press, 2003
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: moluna, Greven, Deutschland
EUR 81,24
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.InhaltsverzeichnisLinear logic: its syntax and semantics J. Y. Girard Part I. Categories and Semantics:.
Sprache: Englisch
Verlag: Cambridge University Press, Cambridge, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
EUR 106,28
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book. Based on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 143,93
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 400 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Sprache: Englisch
Verlag: Cambridge University Press, 1995
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 400.
Sprache: Englisch
Verlag: Cambridge University Press, 2003
ISBN 10: 0521559618 ISBN 13: 9780521559614
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Advances in Linear Logic | Jean-Yves Girard | Taschenbuch | Englisch | 2003 | Cambridge University Press | EAN 9780521559614 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.