Paul ruet (7 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 122,62
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Linear Logic in Computer Science
Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Sprache: Englisch
Verlag: Cambridge Univ Pr, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 147,84
EUR 14,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,02
EUR 9,08 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: 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 & Voc…ational. Dimension: 228 x 152 x 20. Weight in Grams: 520. . 2004. Illustrated. paperback. . . . . Books ship from the US and Ireland.
Weitere BilderLa 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
Verlag: Edition de la société des écrivains ardennais
- Hardcover
Anbieter: Librairie Lis Tes Ratures, Nantes, FrankreichLibrairie Lis Tes Ratures
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht
EUR 60,00
EUR 9,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbCharleville (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.
Sprache: Englisch
Verlag: Cambridge University Press, 2004
Serie: Buch 273 von 387 - London Mathematical Society Lecture Notes
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 143,67
EUR 62,83 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 o…f 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.
Verlag: La Grive, N°118, avril-juin 1963. In-8°, broché., 1963
Anbieter: Librairie Dhouailly, Paris, FrankreichLibrairie Dhouailly
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht
EUR 12,00
EUR 30,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den Warenkorb[14441].
Weitere BilderLa 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
Sprache: Französisch
Verlag: La Société des Aqua-Fortistes français, 1886
- Hardcover
- Erstausgabe
- Signiert
Anbieter: Librairie du Cardinal, GRADIGNAN, FrankreichLibrairie du Cardinal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 300,00
EUR 25,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den Warenkorbrigide. Zustand: 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 recueil… 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.
