Logical aspects of computational linguistics: An introduction | SpringerLink
Skip to main content
Springer Nature Link
Log in

Logical aspects of computational linguistics: An introduction

  • Conference paper
  • First Online:
Logical Aspects of Computational Linguistics (LACL 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1328))

  • 179 Accesses

Abstract

The papers in this collection are all devoted to single theme: logic and its applications in computational linguistics. They share many themes, goals and techniques, and any editorial classification is bound to highlight some connections at the expense of other. Nonetheless, we have found it useful to divide these papers (somewhat arbitrarily) into the following four categories: logical semantics of natural language, grammar and logic, mathematics with linguistic motivations, and computational perspectives. In this introduction, we use this four-way classification as a guide to the papers, and, more generally, to the research agenda that underlies them. We hope that the reader will find it a useful starting point to the collection.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anne Abeillé. Les nouvelles syntaxes. Armand Colin, Paris, 1993.

    Google Scholar 

  2. V. Michele Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403–1451, December 1991.

    Article  MathSciNet  MATH  Google Scholar 

  3. V. Michele Abrusci. Exchange connectives for non commutative classical linear propositional logic. In V. Michele Abrusci, Claudia Casadio, and Michael Moortgat, editors, Linear Logic and Lambek Calculus. DYANA Occasional Publications, Institute for Logic, Language and Information, Amsterdam, 1993.

    Google Scholar 

  4. V. Michele Abrusci. Coherence semantics for non-commutative linear logic and ambiguity in natural language. Technical report, Università di Roma tre, 1997. Talk at the ATALA meeting, Paris, December 94.

    Google Scholar 

  5. V. Michele Abrusci. Non-commutative proof nets. In Girard et al. [55], pages 271–296.

    Google Scholar 

  6. V. Michele Abrusci. Syntactical categories of a natural language as facts of a cyclic phase space. Technical report, Universita di Roma tre, 1997.

    Google Scholar 

  7. Anthony E. Ades and Mark J. Steedman. On the order of words. Linguistics and Philosophy, 4:517–558,1982.

    Article  Google Scholar 

  8. Kasimierz Adjuckiewicz. Die syntaktische konnexität. Studia Philosophica, 1:1–27, 1935.

    Google Scholar 

  9. Emmon Bach. Some generalizations of categorial grammars. In Fred Landman and Frank Veltman, editors, Varieties of Formal Semantics, pages 1–23. Foris, Dordrecht, 1984.

    Google Scholar 

  10. Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, 29:47–58, 1953.

    Article  Google Scholar 

  11. Yehoshua Bar-Hillel. Language and information. Addison Wesley, Reading MA, 1964.

    Google Scholar 

  12. Bruno Barras, Samuel Boutin, Cristina Cornes, Judicael Courant, Jean-Christophe Filliatre, Eduardo Gimenez, Hugo Herbelin, Gerard Huet, Cesar Munoz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Saibi, Benjamin Werner The Coq Proof Assistant Reference Manual: Version 6.1 Technical Report RT-203, INRIA, Rocquencourt, May 1997.

    Google Scholar 

  13. Guy Barry and Glyn V. Morrill, editors. Studies in Categorial Grammar. Edinburgh Working Papers in Cognitive Science, Edinburgh, 1990.

    Google Scholar 

  14. Jon Barwise and Robin Cooper. Generalised quantifiers and natural language. Linguistics and Philosophy, 4:159–219, 1981.

    Article  MATH  Google Scholar 

  15. Jon Barwise and John Perry. Situations and Attitudes. MIT Press, Cambridge MA, 1983.

    Google Scholar 

  16. Johan van Benthem. Essays in logical semantics. D. Reidel, Dordrecht, 1986.

    MATH  Google Scholar 

  17. Johan van Benthem. The lambek calculus. In Oehrle et al. [91], pages 35–68.

    Google Scholar 

  18. Johan van Benthem. Language in action: Categories, Lambdas and Dynamic Logic, Number 130 of Sudies in Logic and the foundation of mathematics. North-Holland, Amsterdam, 1991.

    Google Scholar 

  19. Johan van Benthem and Alice ter Meulen, editors. Handbook of Logic and Language. North-Holland, Amsterdam, 1997.

    MATH  Google Scholar 

  20. Patrick Blackburn, Wilfried Meyer-Viol, and Maarten de Rijke. A proof system for finite trees. In Hans Kleine Büning, editor, Computer Science Logic '95, Volume 1092 of Lecture Notes in Computer Science, pages 86–105. Springer, Heidelberg, 1996.

    Google Scholar 

  21. Joan Bresnan, editor. The mental representation of grammatical relations. MIT Press, Cambridge MA, 1982.

    Google Scholar 

  22. Wojciech Buszkowski. Completeness results for lambek syntactic calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 32:13–28, 1986.

    MATH  MathSciNet  Google Scholar 

  23. Wojciech Buszkowski. Generative power of categorial grammar. In Oehrle et al. [91], pages 69–94.

    Google Scholar 

  24. Wojciech Buszkowski. Mathematical linguistics and proof theory. In van Benthem and ter Meulen [19], pages 683–736.

    Google Scholar 

  25. Rudolf Carnap. Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, 1946.

    Google Scholar 

  26. Bob Carpenter. ALE: The Attribute Logic Engine user's guide. Technical report, Carnegie Mellon University, Laboratory for Computational Linguistics, 1992.

    Google Scholar 

  27. Bob Carpenter. Lectures on Type-Logical Semantics. MIT Press, Cambridge MA, 1996.

    Google Scholar 

  28. Bob Carpenter. The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Number 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

    Google Scholar 

  29. Claudia Casadio. Semantic categories and the development of categorial grammars. In Oehrle et al. [91], pages 95–124.

    Google Scholar 

  30. Noam Chomsky. The logical structure of linguistic theory. Plenum, New York, 1955.

    Google Scholar 

  31. Noam Chomsky. Three models for the description of language. IRE Transactions on Information Theory, 2(3): 113–124, 1956.

    Article  MATH  Google Scholar 

  32. Noam Chomsky. On certain formal properties of grammars. Information and control, 2:137–167, 1959.

    Article  MATH  MathSciNet  Google Scholar 

  33. Noam Chomsky. Formal properties of grammars. In Handbook of Mathematical Psychology, volume 2, pages 323–418. John Wiley and sons, New York, 1963.

    Google Scholar 

  34. Noam Chomsky. Aspects of the Theory of Syntax. MIT Press, Cambridge MA, 1965.

    Google Scholar 

  35. Noam Chomsky. Cartesian Linguistics. MIT Press, Cambridge MA, 1966.

    Google Scholar 

  36. Noam Chomsky. Reflections on language. Pantheon, New York, 1975.

    Google Scholar 

  37. Noam Chomsky. Some concepts and consequences of the theory of government and binding. MIT Press, Cambridge MA, 1982.

    Google Scholar 

  38. Noam Chomsky. Barriers. MIT Press, Cambridge MA, 1987.

    Google Scholar 

  39. Noam Chomsky. The Minimalist Program. MIT Press, Cambridge MA, 1996.

    Google Scholar 

  40. Noam Chomsky and Marcel-Paul Schützenberger. The algebraic theory of context-free languages. In P. Bradford and D. Hirschberg, editors, Computer programming and formal systems, pages 118–161. North-Holland, Amsterdam, 1963.

    Google Scholar 

  41. Alonzo Church. A formulation of the logic of sense and denotation. In P. Henle, H. Kallen and H. Langer editors, Structure, Method and Meaning: Essays in honor of Henry M. Sheffer. Liberal Arts Press, New York, 1951.

    Google Scholar 

  42. Jacques Cohen. A view of the origins and development of Prolog. Communications of the ACM, 31(1):26–37, January 1988.

    Article  Google Scholar 

  43. Jean-Pierre Desclés. Langages applicatifs, langues naturelles et cognition. Hermès, Paris, 1990.

    Google Scholar 

  44. Michael Dorna. The Comprehensive Unification Formalism user's manual. Technical report, Institut für maschinelle Sprach Verarbeitung, Universität Stuttgart, 1994.

    Google Scholar 

  45. David Dowty. Word Meaning and Montague Grammar. D. Reidel, Dordrecht, 1979.

    Google Scholar 

  46. David Dowty. Type-raising, functional composition, and non-constituent coordination. In Oehrle et al. [91], pages 153–198.

    Google Scholar 

  47. Martin Emms. Extraction covering of the Lambek calculus are not context free. In 9th Amsterdam Colloquium, pages 268–286, 1993.

    Google Scholar 

  48. Martin Emms. Parsing with polymorphism, In 6th Annual Conference of the European Chapter of the Association for Computational Linguistics, 1993.

    Google Scholar 

  49. Martin Emms. Undecidability result for polymorphic Lambek calculus. In 10th Amsterdam Colloquium, 1995.

    Google Scholar 

  50. Gottlob Frege. Begriffsschrift. Louis Nerbert, Halle A/S, 1879. English translation in: “From Frege to Gödel”, edited by van Heijenoort, Harvard University Press, Cambridge MA, 1967.

    Google Scholar 

  51. Gerald Gazdar, Ewan Klein, Geoffrey Pullum, and Ivan Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge MA, 1985.

    Google Scholar 

  52. Ferenc Gécseg and Magnus Steinby. Tree Languages, chapter 1, pages 1–68. Volume 3 of Rozenberg and Salomaa [104], 1996.

    Google Scholar 

  53. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1):1–102, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  54. Jean-Yves Girard. Linear logic: its syntax and semantics. In Girard et al. [55], pages 1–42.

    Google Scholar 

  55. Jean-Yves Girard, Yves Lafont, and Laurent Regnier, editors. Advances in Linear Logic, Volume 222 of London Mathematical Society Lecture Notes. Cambridge University Press, 1995.

    Google Scholar 

  56. Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.

    Google Scholar 

  57. Valentin Goranko and Solomon Passy. Using the universal modality: Gains and questions. Journal of Logic and Computation, 2:5–30, 1992.

    MathSciNet  MATH  Google Scholar 

  58. Jeroen Groenendijk and Martin Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39–100, 1991.

    Article  MATH  Google Scholar 

  59. Philippe de Groote and Christian Retoré. Semantic readings of proof nets. In Geert-Jan Kruijff, Glyn V. Morrill, and Richard T. Oehrle, editors, Formal Grammar, Proceedings of the Conference of the European Summer School in Logic, Language and Information, Prague, August 1996. pages 57–70.

    Google Scholar 

  60. Irene Heim. The Semantics of Definite and Indefinite Noun Phrases. PhD thesis, University of Massachusetts, Amherst, 1982.

    Google Scholar 

  61. Pascal van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge MA, 1989.

    Google Scholar 

  62. Mark Hepple. The Grammar and Processing of Order and Dependency, a categorial approach. PhD thesis, Centre of Cognitive Sciences, Edinburgh, 1990.

    Google Scholar 

  63. Mark Johnson. Attribute-Value Logic and the Theory of Grammar. Number 16 in CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1989. (distributed by Cambridge University Press)

    Google Scholar 

  64. Mark Johnson. Proof nets and the complexity of processing center-embedded constructions. Technical report, Brown University, Providence RI, 1997.

    Google Scholar 

  65. Aravind K. Joshi, Leon Levy, and Masako Takahashi. Tree adjunct grammar. Journal of Computer and System Sciences, 10:136–163, 1975.

    Article  MathSciNet  MATH  Google Scholar 

  66. Aravind K. Joshi. Tree adjoining grammars: How much context-sensitivity is required to provide reasonable structural descriptions? In David Dowty, Lauri Kartunen, and Arnold M. Zwicky, editors, Natural Language Parsing, pages 206–250. Cambridge University Press, 1988.

    Google Scholar 

  67. Aravind K. Joshi and Yves Schabes. Tree-Adjoining Grammars, chapter 2, pages 69–124. Volume 3 of Rozenberg and Salomaa [104], 1996.

    Google Scholar 

  68. Hans Kamp. A theory of truth and semantic representation. In Janssen, Groenendijk and Stokhof, editors, Proceedings of the Third Amsterdam Colloquium, Foris, Dordrecht, 1981.

    Google Scholar 

  69. Hans Kamp and Uwe Reyle. From Discourse to Logic. Kluwer, Dordrecht, 1993.

    Google Scholar 

  70. Ronald Kaplan and Joan Bresnan. Lexical functional grammar: a formal system for grammatical representation, chapter 4, pages 173–281. In Bresnan [21], 1982.

    Google Scholar 

  71. Bill Keller. Feature Logics, Infinitary Descriptions, and Grammar, volume 44 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1989. (distributed by Cambridge University Press)

    Google Scholar 

  72. Saul Kripke. A completeness theorem in modal logic. Journal of Symbolic Logic, 24:1–14, 1959.

    Article  MATH  MathSciNet  Google Scholar 

  73. François Lamarche and Christian Retoré Proof nets for the Lambek calculus — an overview. In Abrusci and Casadio, editors, Proofs and linguistic categories, proceedings of 1996 Roma Workshop, pages 241–262. CLUEB, Bologna, 1996.

    Google Scholar 

  74. Joachim Lambek. The mathematics of sentence structure. American mathematical monthly, pages 154–170, 1958.

    Google Scholar 

  75. Joachim Lambek. On the calculus of syntactic types. In Roman Jakobson, editor, Structure of language and its mathematical aspects, pages 166–178. American Mathematical Society, Providence RI, 1961.

    Google Scholar 

  76. Joachim Lambek. Categorial and categorical grammars. In Oehrle et al. [91], pages 297–318.

    Google Scholar 

  77. Alain Lecomte. Proof nets and dependencies. In COLING-92, pages 394–401. Nantes, August 1992.

    Google Scholar 

  78. Alain Lecomte and Christian Retoré. Pomset logic as an alternative categorial grammar. In Glyn V. Morrill and Richard T. Oehrle, editors, Formal Grammar, Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona, 1995. pages 181–196.

    Google Scholar 

  79. Alain Lecomte and Christian Retoré. Words as modules: a lexicalised grammar in the framework of linear logic proof nets. In Carlos Martin-Vide, editor, International Conference on Mathematical Linguistics II. John Benjamins, Amsterdam, 1997.

    Google Scholar 

  80. Marie-Ange Légeret. Algèbres de démonstrations en grammaires catégorielles. Thèse de Doctorat, spécialité Mathématiques, Université Blaise Pascal, Clermont-Ferrand, janvier 1996.

    Google Scholar 

  81. Ralph Loader. Linear logic, totality and full completeness. In LICS'94, pages 292–298. IEEE computer society, Washington, 1994.

    Google Scholar 

  82. Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984. (Notes by Giovani Sambin of a series of lectures given in Padua, June 1980)

    Google Scholar 

  83. Alexandra Mateescu and Arto Salomaa. Formal Languages: an Introduction and a Synopsis, chapter 1, pages 1–40. Volume 1 of Rozenberg and Salomaa [104], 1996.

    Google Scholar 

  84. Philip Miller and Thérèse Torris, editors. Formalismes syntaxiques pour le traitement automatique du langage naturel. Hermès, Paris, 1990.

    Google Scholar 

  85. Michael Moortgat. Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, 1988.

    Google Scholar 

  86. Michael Moortgat. La grammaire catégorielle généralisée — le calcul de Lambek-Gentzen, chapter 3, pages 127–182. In Miller and Torris [84], 1990.

    Google Scholar 

  87. Michael Moortgat. Categorial type logics. In van Benthem and ter Meulen [19], pages 93–177.

    Google Scholar 

  88. Glyn V. Morrill. Type Logical Grammar. Kluwer, Dordrecht, 1994.

    MATH  Google Scholar 

  89. Georges Mounin. Histoire de la linguistique — des origines au XXe siècle. Presses Universitaires de France, Paris, 1967.

    Google Scholar 

  90. Reinhard Muskens. Meaning and Partiality. CSLI, 1996.

    Google Scholar 

  91. Richard T. Oehrle, Emmon Bach, and Deirde Wheeler, editors. Categorial Grammars and Natural Languages Structures. D. Reidel, Dordrecht, 1988.

    Google Scholar 

  92. Barbara Partee. Montague grammar and transformational grammar. Linguistic Inquiry, VI(2)::203–300, 1975.

    Google Scholar 

  93. Matti Pentus. Lambek grammars are context free. In LICS'93, pages 371–373. IEEE computer society, Washington, 1993.

    Google Scholar 

  94. Fernando C. N. Pereira and Stuart M. Shieber. Prolog and Natural Language Analysis, volume 10 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1987. (distributed by Cambridge University Press)

    Google Scholar 

  95. Carl Pollard and Ivan A. Sag. Head-Driven Phrase Structure Grammars. Chicago University Press, 1994.

    Google Scholar 

  96. Jean-Yves Pollock. Langage et cognition — Une introduction au programme minimaliste de la grammaire générative. Presses Universitaires de France, Paris, 1997.

    Google Scholar 

  97. Aarne Ranta. Type-Theoretical Grammar. Oxford University Press, 1994.

    Google Scholar 

  98. Hans Reichenbach. Elements of Symbolic Logic. The MacMillan Company, New York, 1948.

    MATH  Google Scholar 

  99. Christian Retoré. Réseaux et Séquents Ordonnés. Thèse de Doctorat, spécialité Mathématiques, Université Paris 7, février 1993.

    Google Scholar 

  100. Christian Retoré. Calcul de lambek et logique linéaire. Traitement Automatique des Langues, 37(2):39–70, 1996.

    Google Scholar 

  101. Christian Retoré. Pomset logic: a non-commutative extension of classical linear logic. In J. R. Hindley and Ph. de Groote, editors, TLCA '97, volume 1210 of LNCS, pages 300–319, 1997.

    Google Scholar 

  102. Robert H. Robins. A short history of linguistics. Longmans, Green, and Co., London, 1967.

    Google Scholar 

  103. Dirk Roorda. Resource logic: proof theoretical investigations. PhD thesis, FWI, Universiteit van Amsterdam, 1991.

    Google Scholar 

  104. Grzegorz Rozenberg and Arto Salomaa, editors. Handbook of Formal Languages. Springer, Heidelberg, 1996. (3 volumes)

    Google Scholar 

  105. Esa Saarinen, editor. Game-Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala, and Saarinen. D. Reidel, Dordrecht, 1979.

    MATH  Google Scholar 

  106. Peter Sells. An introduction to Government-Binding Theory, Generalised Phrase Structure Grammar, and Lexical-Functional Grammar, volume 3 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1985. (distributed by Cambridge University Press)

    Google Scholar 

  107. Sebastian Shaumyan. Applicational grammar as a semantic theory of natural language. Edinburgh University Press, 1977.

    Google Scholar 

  108. Betty Shefts. Grammatical Method in Pānini. American Oriental Society, New Haven CO, 1961.

    Google Scholar 

  109. Stuart M. Shieber. Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8:333–343, 1985.

    Article  Google Scholar 

  110. Stuart M. Shieber. An Introduction to Unification-Based Approaches to Grammar, volume 4 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1986. (distributed by Cambridge University Press)

    Google Scholar 

  111. Stuart M. Shieber. Les grammaires basées sur l'unification, chapter 1, pages 27–86. In Miller and Torris [84], 1990.

    Google Scholar 

  112. Mark J. Steedman. Surface Structure and Interpretation. Center for the Study of Language and Information, Stanford CA, 1996. (distributed by Cambridge University Press)

    Google Scholar 

  113. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, 1977.

    Google Scholar 

  114. Anna Szabolcsi. Bound variables in syntax. In Proceedings of the 6th Amsterdam Colloquium, pages 331–351, Amsterdam, 1987. Institute for Language, Logic and Information.

    Google Scholar 

  115. Wolfgang Thomas. Languages, Automata and Logic, chapter 7, pages 389–456. Volume 3 of Rozenberg and Salomaa [104], 1996.

    Google Scholar 

  116. Richmond H. Thomason, editor. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven CO, 1974.

    Google Scholar 

  117. Thérèse Torris. La grammaire syntagmatique généralisée, chapter 2, pages 87–126. In Miller and Torris [84], 1990.

    Google Scholar 

  118. Anne Sjerp Troelstra. Lectures on Linear Logic, volume 29 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford CA, 1992. (distributed by Cambridge University Press)

    Google Scholar 

  119. Rémi Zajac. Notes on the Typed Feature System, version 4. Technical report, Institut für Informatik, Project Polygloss, Universität Stuttgart, 1991.

    Google Scholar 

  120. Wojciech Zielonka. Axiomatizability of Adjukiewicz-Lambek calculus by means of cancellation schemes. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 27:215–224, 1981.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität des Saarlandes, Saarbrücken

    Patrick Blackburn

  2. Rank-Xerox Research Center, Grenoble

    Marc Dymetman

  3. Université Grenoble 2, France

    Alain Lecomte

  4. Helsingin Yliopisto, France

    Aarne Ranta

  5. INRIA-Lorraine, Nancy

    Christian Retoré

  6. INRIA-Rocquencourt, France

    Eric Villemonte de la Clergerie

Authors
  1. Patrick Blackburn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marc Dymetman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alain Lecomte
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Aarne Ranta
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Christian Retoré
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Eric Villemonte de la Clergerie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Retoré

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Blackburn, P., Dymetman, M., Lecomte, A., Ranta, A., Retoré, C., de la Clergerie, E.V. (1997). Logical aspects of computational linguistics: An introduction. In: Retoré, C. (eds) Logical Aspects of Computational Linguistics. LACL 1996. Lecture Notes in Computer Science, vol 1328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052148

Download citation

  • DOI: https://doi.org/10.1007/BFb0052148

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63700-4

  • Online ISBN: 978-3-540-69631-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation