Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Frankfurt a.M./Berlin/München/Aarau 1977;, Diesterweg/Salle/Sauerländer,, 1977
Vendeur : buc online, Erika Trautmann-Aschmann, Göttingen, Allemagne
234 S.; TB. Ecken u. Kanten berieben bzw. bestoßen; Rücken aufgehellt; Papier etwas gedunkelt; Namenseintrag; sonst ordentlich.
Edité par Diesterweg, 1977
ISBN 10 : 3425053434ISBN 13 : 9783425053431
Vendeur : Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Allemagne
Livre
Broschiert. Etat : Akzeptabel. 234 Seiten Eintrag/Stempel vorne im Buch, Artikel stammt aus Nichtraucherhaushalt! DT2260 Sprache: Deutsch Gewicht in Gramm: 222.
Edité par Diesterweg
ISBN 10 : 3425053434ISBN 13 : 9783425053431
Vendeur : medimops, Berlin, Allemagne
Livre
Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Edité par Diesterweg
ISBN 10 : 3425053434ISBN 13 : 9783425053431
Vendeur : medimops, Berlin, Allemagne
Livre
Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par 1965, 1965
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne
geheftet, ohne Einband. Etat : gut. 24 cm, Besitzstempel, aus der Sammlung Alexander Tollmann. Sprache: deu.
Edité par 1965, 1965
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne
Papiereinband. Etat : gut. 24 cm, Lichtrand, Besitzstempel, leicht geknickt, einzelne Bleistiftanstreichungen, aus der Sammlung Alexander Tollmann. Sprache: deu.
Edité par 1968, 1968
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne
Papiereinband. Etat : gut. 24 cm, Besitzstempel, aus der Sammlung Alexander Tollmann. Sprache: deu.
Edité par Frankfurt am Main, Diesterweg, 1977
ISBN 10 : 3425053434ISBN 13 : 9783425053431
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Livre
Softcover. 234 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 80A1385 3425053434 Sprache: Deutsch Gewicht in Gramm: 550.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Books Puddle, New York, NY, Etats-Unis
Livre
Etat : New. pp. 220.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Livre
Etat : New. pp. 220 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Edité par Frankfurt. Diesterweg. 1977., 1977
ISBN 10 : 3425053434ISBN 13 : 9783425053431
Vendeur : Worpsweder Antiquariat, Worpswede, Allemagne
Livre
Mit zahlreichen Abbildungen. Orig.kartoniert. 234 Seiten. Deckel berieben, Seiten leicht lichtrandig, sonst gut erhalten. ISBN 3425053434.
Edité par Rat der Stadt Görlitz, 1987
Vendeur : Antiquariat Wortschatz, Markt Hartmannsdorf, Autriche
Softcover/Taschenbuch. Etat : Gut. kA (illustrateur). kA. Auflage. Anzahl Bände: 1 - Bd.Nr.: kA - Sprache: de - Einband: Broschur - Gewicht: 135 - Illust.: kA - Zustand: Gut - Buch hat Lager- und Gebrauchsspuren, ggf. Stempel und Besitzeinträge. Aber vollständig, Bindung intakt, ohne häufige Anstreichungen o.ä., Rückseit.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Livre
Etat : New. New. In shrink wrap. Looks like an interesting title! 0.7.
Edité par Springer 1999-09, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Livre
PF. Etat : New.
Edité par Springer Berlin Heidelberg Sep 1999, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. The nalchoicewasmadebytheeditors. Thisvolumeisasequeltotheproceedingsfromthe rstworkshopofthe workinggroup,whichtookplaceinAussois,France,inDecember1996. The proceedingsappearedinvol. 1512oftheLNCSseries,editedbyChristinePaulin- MohringandEduardoGim enez. Theseworkshopsare,inturn,acontinuationofthemeetingsorganizedin 1993,1994,and1995undertheauspicesoftheEspritBasicResearchAction 6453 Types for Proofs and Programs. Thoseproceedingswerealsopublished intheLNCSseries,editedbyHenkBarendregtandTobiasNipkow(vol. 806, 1993),byPeterDybjer,BengtNordstr omandJanSmith(vol. 996,1994)and byStefanoBerardiandMarioCoppo(vol. 1158,1995). TheEspritBRA6453 wasacontinuationoftheformerEspritAction3245Logical Frameworks: - sign,ImplementationandExperiments. Thearticlesfromtheannualworkshops organizedunderthatActionwereeditedbyGerardHuetandGordonPlotkin inth Elektronisches BuchLogical FrameworksandLogicalEnvironments,bothpublishedby CambridgeUniversityPress. Acknowledgments WewouldliketothankIrmgardMignaniandAgnesSzabo-Lackingerforhelping uswithprocessingtheregistrations,andRalphMatthesandMarkusWenzelfor organizationalsupportduringthemeeting. Weareindebtedtotheorganizersof theWorkingGroupTypesandalsotoPeterClote,TobiasNipkowandMartin Wirsingforgivingustheopportunitytoorganizethisworkshopandfortheir support. WewouldalsoliketoacknowledgefundingbytheEuropeanUnion. Thisvolumewouldnothavebeenpossiblewithouttheworkofthereferees. Theyarelistedonthenextpageandwethankthemfortheirinvaluablehelp. June1999 ThorstenAltenkirch WolfgangNaraschewski BernhardReus VI List of Referees PeterAczel PetriMa enp a a ThorstenAltenkirch RalphMatthes GillesBarthe MichaelMendler HenkBarendregt WolfgangNaraschewski UliBerger TobiasNipkow MarcBezem SaraNegri VenanzioCapretta ChristinePaulin-Mohring MarioCoppo HenrikPersson CatarinaCoquand RandyPollack RobertoDiCosmo DavidPym GillesDowek ChristopheRa alli MarcDymetman AarneRanta Jean-ChristopheFilli atre BernhardReus NeilGhani EikeRitter MartinHofmann GiovanniSambin MonikaSeisenberger FurioHonsell AntonSetzer PaulJackson JanSmith FelixJoachimski FlorianKammuller SergeiSoloview JamesMcKinna MakotoTakeyama Sim aoMelodeSousa SilvioValentini ThomasKleymann MarkusWenzel HansLeiss BenjaminWerner Table of Contents OnRelatingTypeTheoriesandSetTheories. . . . . . . . . . . . . . . . . . . . . . . . . . 1 PeterAczel CommunicationModellingandContext-DependentInterpretation: AnIntegratedApproach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Ren eAhn,TijnBorghuis Grobner BasesinTypeTheory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 ThierryCoquand,HenrikPersson AModalLambdaCalculuswithIterationandCaseConstructs. . . . . . . . . . 47 Jo elleDespeyroux,PierreLeleu ProofNormalizationModulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 GillesDowek,BenjaminWerner ProofofImperativeProgramsinTypeTheory. . . . . . . . . . . . . . . . . . . . . . . . . 78 Jean-ChristopheFilli atre AnInterpretationoftheFanTheoreminTypeTheory . . . . . . . . . . . . . . . . . 93 DanielFridlender ConjunctiveTypesandSKInT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 JeanGoubault-Larrecq ModularStructuresasDependentTypesinIsabelle . . . . . . . . . . . . . . . . . . . . 121 FlorianKammul ler MetatheoryofVeri cationCalculiinLEGO. . . . . . . . . . . . . . . . . . . . . . . . . . . 133 ThomasKleymann BoundedPolymorphismforExtensibleObjects . . . . . . . . . . . . . . . . . . . . . . . . 149 LuigiLiquori AboutE ectiveQuotientsinConstructiveTypeTheory . . . . . . . . . . . . . . . . 164 MariaEmiliaMaietti VIII AlgorithmsforEqualityandUni cationinthePresence 220 pp. Englisch.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisbookcontainsaselectionofpaperspresentedatthesecondannualworksho p heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. The nalchoicewasmadebytheeditors. Thisvolumeisasequeltotheproceedingsfromthe rstworkshopofthe workinggroup,whichtookplaceinAussois,France,inDecember1996. The proceedingsappearedinvol. 1512oftheLNCSseries,editedbyChristinePaulin- MohringandEduardoGim enez. Theseworkshopsare,inturn,acontinuationofthemeetingsorganizedin 1993,1994,and1995undertheauspicesoftheEspritBasicResearchAction 6453 Types for Proofs and Programs. Thoseproceedingswerealsopublished intheLNCSseries,editedbyHenkBarendregtandTobiasNipkow(vol. 806, 1993),byPeterDybjer,BengtNordstr omandJanSmith(vol. 996,1994)and byStefanoBerardiandMarioCoppo(vol. 1158,1995). TheEspritBRA6453 wasacontinuationoftheformerEspritAction3245Logical Frameworks: - sign,ImplementationandExperiments. Thearticlesfromtheannualworkshops organizedunderthatActionwereeditedbyGerardHuetandGordonPlotkin inth Elektronisches BuchLogical FrameworksandLogicalEnvironments,bothpublishedby CambridgeUniversityPress. Acknowledgments WewouldliketothankIrmgardMignaniandAgnesSzabo-Lackingerforhelping uswithprocessingtheregistrations,andRalphMatthesandMarkusWenze lfor organizationalsupportduringthemeeting. Weareindebtedtotheorganizersof theWorkingGroupTypesandalsotoPeterClote,TobiasNipkowandMartin Wirsingforgivingustheopportunitytoorganizethisworkshopandfortheir support. WewouldalsoliketoacknowledgefundingbytheEuropeanUnion. Thisvolumewouldnothavebeenpossiblewithouttheworkofthereferees. Theyarelistedonthenextpageandwethankthemfortheirinvaluablehelp. June1999 ThorstenAltenkirch WolfgangNaraschewski BernhardReus VI List of Referees PeterAczel PetriMa enp a a ThorstenAltenkirch RalphMatthes GillesBarthe MichaelMendler HenkBarendregt WolfgangNaraschewski UliBerger TobiasNipkow MarcBezem SaraNegri VenanzioCapretta ChristinePaulin-Mohring MarioCoppo HenrikPersson CatarinaCoquand RandyPollack RobertoDiCosmo DavidPym GillesDowek ChristopheRa alli MarcDymetman AarneRanta Jean-ChristopheFilli atre BernhardReus NeilGhani EikeRitter MartinHofmann GiovanniSambin MonikaSeisenberger FurioHonsell AntonSetzer PaulJackson JanSmith FelixJoachimski FlorianKammuller SergeiSoloview JamesMcKinna MakotoTakeyama Sim aoMelodeSousa SilvioValentini ThomasKleymann MarkusWenzel HansLeiss BenjaminWerner Table of Contents OnRelatingTypeTheoriesandSetTheories. . . . . . . . . . . . . . . . . . . . . . . . . . 1 PeterAczel CommunicationModellingandContext-DependentInterpretation: AnIntegratedApproach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Ren eAhn,TijnBorghuis Grobner BasesinTypeTheory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 ThierryCoquand,HenrikPersson AModalLambdaCalculuswithIterationandCaseConstructs. . . . . . . . . . 47 Jo elleDespeyroux,PierreLeleu ProofNormalizationModulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 GillesDowek,BenjaminWerner ProofofImperativeProgramsinTypeTheory. . . . . . . . . . . . . . . . . . . . . . . . . 78 Jean-ChristopheFilli atre AnInterpretationoftheFanTheoreminTypeTheory . . . . . . . . . . . . . . . . . 93 DanielFridlender ConjunctiveTypesandSKInT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 JeanGoubault-Larrecq ModularStructuresasDependentTypesinIsabelle . . . . . . . . . . . . . . . . . . . . 121 FlorianKammul ler MetatheoryofVeri cationCalculiinLEGO. . . . . . . . . . . . . . . . . . . . . . . . . . . 133 ThomasKleymann BoundedPolymorphismforExtensibleObjects . . . . . . . . . . . . . . . . . . . . . . . . 149 LuigiLiquori AboutE ectiveQuotientsinConstructiveTypeTheory . . . . . . . . . . . . . . . . 164 MariaEmiliaMaietti VIII AlgorithmsforEqualityandUni cationinthePresence.
Edité par Springer Berlin Heidelberg, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : moluna, Greven, Allemagne
Livre impression à la demande
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On Relating Type Theories and Set Theories.- Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.- Groebner Bases in Type Theory.- A Modal Lambda Calculus with Iteration and Case Constructs.- Proof Normalization Modulo.- Proo.
Edité par Springer, 1999
ISBN 10 : 3540665374ISBN 13 : 9783540665373
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. LIKE NEW. book.
Edité par Verlag Eugen Ulmer, 2002
ISBN 10 : 3800136848ISBN 13 : 9783800136841
Vendeur : Studibuch, Stuttgart, Allemagne
Livre
hardcover. Etat : Gut. 434 Seiten; 9783800136841.3 Sprache: Deutsch Gewicht in Gramm: 2.
Edité par Ulmer (Eugen), 2002
ISBN 10 : 3800136848ISBN 13 : 9783800136841
Vendeur : Books Unplugged, Amherst, NY, Etats-Unis
Livre
Etat : Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within.