Paul ruet (20 resultados)
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 112,27
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 122,63
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 120,34
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
paperback. Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 130,27
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & V…ocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . .
Linear Logic in Computer Science
Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Idioma: Inglés
Editorial: Cambridge Univ Pr, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 147,85
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 167,67
Envío por EUR 3,45Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. x + 381.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 164,01
Envío por EUR 9,08Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This book illustrates linear logic in the application of proof theory to computer science. Editor(s): Ruet, Paul; Ehrhard, Thomas; Girard, Jean-Yves; Scott, Philip. Series: London Mathematical Society Lecture Note Series. Num Pages: 392 pages, 75 exercises. BIC Classification: PBCD. Category: (P) Professional & V…ocational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Más imágenesLa féerie ardennaise (Les cahiers ardennais)
Paul Renaudin, Ch. Gailly de Taurines, J.-P. Vaillant, Georges Delaw, André Sécheret, Jules Bosmant, Louis Charpentier, George Laport, Jean Rogissard, Henri Druart, Mathias Tresch, Fernand Remisch, J. Massiet du Biest André Payet, Noël Ruet, Marie-Louise Dromart, Henri d'Acremont, Marcel Caruel, Rémi Bourgerie, J. Rogissart, André Fage, Carlo Bronne, Gaston Doquin, René Descharmes, Paul Flamant, Georges Petit / Georges Delaw, Jean Donnay, Marcel Poussart
Editorial: Edition de la société des écrivains ardennais
- Tapa dura
Librería: Librairie Lis Tes Ratures, Nantes, FranciaLibrairie Lis Tes Ratures
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: ILAB
Condición: Usado
EUR 60,00
Envío por EUR 9,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCharleville (Ardennes), 1930, quatrième numéro des cahiers ardennais. In-8 demi-percaline prune à la bradel, 106pp.-1f. Tirage à 1055 exemplaires, celui-ci est un des 55 de tête sur pur fil Lafuma contenant une eau-forte originae de J.M. Poussard. Textes de Paul Renaudin, Ch. Gailly de Taurines, J.-P. Vaillant, Georges Delaw, An…dré Sécheret, Jules Bosmant, Louis Charpentier, George Laport, Jean Rogissard, Henri Druart, Mathias Tresch, Fernand Remisch, J. Massiet du Biest. Poèmes de André Payet, Noël Ruet, Marie-Louise Dromart, Henri d'Acremont, Marcel Caruel, Rémi Bourgerie, J. Rogissart, André Fage, Carlo Bronne, Gaston Doquin, René Descharmes, Paul Flamant, Georges Petit. Illustrations de Georges Delaw, Jean Donnay, Marcel Poussart et Victor Hugo. Très bon état. L'eau-forte est tirée sur Japon, numérotée et contresignée au crayon.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 143,67
Envío por EUR 62,83Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction… of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.
Orchestre. Poèmes.
DURTAIN Luc / CHABANEIX Philippe / CROS Guy-Charles / DEREME Tristan / GOLL Claire et Ivan / LORENZ Paul / RUET, Noël
Editorial: Paris, Le Divan, 1937,, 1937
- Tapa blanda
Librería: Harteveld Rare Books Ltd., Marly, SuizaHarteveld Rare Books Ltd.
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 50,73
Envío por EUR 20,00Se envía de Suiza a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoin-8vo, 95 p., non coupé, un des 50 ex. sur Rives Jonquille numérotés de I à L, N° XVIII, après 2 sur Japon et 250 sur Rives Pervenche, brochure originale imprimée. Poèmes de Philippe Chabaneix, Guy-Charles Cros, Tristan Derème, Luc Durtain, André Fontainas, Claude Fourcade, Claire Goll, Ivan Goll, Jean-Marie Guislain, Jean Pour…tal de Ladevèze, Léon Laleau, Paul Lorenz et Noël RuetPlease notify before visiting to see a book. Prices are excl. VAT/TVA (only Switzerland) & postage.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 232,01
Envío por EUR 29,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: Librairie LOVE, Ebreuil, FranciaLibrairie LOVE
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 7,00
Envío por EUR 46,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Used: Acceptable. Nombreuses rousseurs sur la couverture, mais intérieur très bon (non coupé).
Editorial: La Grive, N°118, avril-juin 1963. In-8°, broché., 1963
Librería: Librairie Dhouailly, Paris, FranciaLibrairie Dhouailly
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: ILAB
Condición: Usado
EUR 12,00
Envío por EUR 30,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito[14441].
Más imágenesLa Société des Aqua-Fortistes français. [ Salon de 1886 - Société des Aquafortistes français ]
Collectif ; Gustave Greux, L. Ruet, Ch. Courtry, F. Penet, Emile Salmon, Henri Lefort, Mme Louveau-Rouveyre, Albert Duvivier, Laguillermie, Albert Ardail, C. Faivre, Oudart, Beauvais, Léopold Flameng, L. Boulian, L. Margelidon, E. Daumont, Jules Sévrette, J.-E. Buland, P. Huet, Vion, Gaujean, Hélène Formstecher, L.-F. Penet, Paul Avril, L. Desbrosses, De Billy, Ch. Waltner
Idioma: Francés
Editorial: La Société des Aqua-Fortistes français, 1886
- Tapa dura
- Primera edición
- Firmado
Librería: Librairie du Cardinal, GRADIGNAN, FranciaLibrairie du Cardinal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 300,00
Envío por EUR 25,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritorigide. Condición: Bon. 1 vol. in-4 reliure demi-vélin blanc, dos lisse orné en long, reliure signée de Henry Mériot, relieur d'art à Rochefort, La Société des Aqua-Fortistes français, s.d. [ 1886 ], frontispice, 4 pp., 33 ff. n. ch. et 31 planches hors texte sous serpentes Bel exemplaire bien relié (qq. rouss.). Très beau recue…il bien complet des 32 eaux-fortes par Gustave Greux, L. Ruet, Ch. Courtry, F. Penet, Emile Salmon, Henri Lefort, Mme Louveau-Rouveyre, Albert Duvivier, Laguillermie, Albert Ardail, C. Faivre, Oudart, Beauvais, Léopold Flameng, L. Boulian, L. Margelidon, E. Daumont, Jules Sévrette, J.-E. Buland, P. Huet, Vion, Gaujean, Hélène Formstecher, L.-F. Penet, Paul Avril, L. Desbrosses, De Billy, Ch. Waltner. Langue: Français.
Linear Logic in Computer Science
Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Idioma: Inglés
Editorial: Cambridge Univ Pr, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 126,08
Envío por EUR 14,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 131,71
Envío por EUR 19,26Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Editorial: Cambridge University Press, 2016
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,94
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as…well as advanced contributions on recent trends. It is an excelle.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 131,61
Envío por EUR 43,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical con…nectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 173,73
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. x + 381 Illus.
Idioma: Inglés
Editorial: Cambridge University Press, 2004
Serie: Libro 273 de 387 - London Mathematical Society Lecture Notes
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 177,66
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. x + 381.
