Research Catalog

  • Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 97-566Offsite
  • Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29, 2001 : proceedings / Philippe de Groote, Glyn Morrill, Christian Retoré (eds.).

    • Text
    • Berlin ; New York : Springer, c2001.
    • 2001
    • 1 Item

    Available Online

    http://link.springer-ny.com/link/service/series/0558/tocs/t2099.htm
    FormatCall NumberItem Location
    Text JSE 01-1115Offsite
  • Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).

    • Text
    • Berlin ; New York : Springer, [1997], ©1997.
    • 1997-1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.5 .I58 1997Off-site
  • Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : proceedings / Philippe de Groote, Glyn Morrill, Christian Retoré (eds.).

    • Text
    • Berlin ; New York : Springer, 2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text P98 .L3 2001Off-site
  • Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.).

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.5 .I58 1997Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta