Showing 1 - 20 results of 64 for search '', query time: 0.27s Refine Results
  1. 1
    Combinatory semantics /
    by Pogonowski, Jerzy
    Published 1993

    Book
  2. 2
    Combinatorics and magic squares in India : a study of Nārāyana Pandita's Ganitakaumudī, chapters 13-14 /
    by Kusuba, Takanori
    Published 1993

    Thesis Book
  3. 3
    Combinators, [lambda]-terms and proof theory
    by Stenlund, Sören, Stenlund, Sören
    Published 1972

    Thesis Book
  4. 4
    Elements of combinatory logic
    by Fitch, Frederic Brenton
    Published 1974

    Book
  5. 5
    Computability in combinatory spaces : an algebraic generalization of abstract first order computability /
    by Skordev, Dimit�ur Genchev
    Published 1992

    Book
  6. 6
    Combinatorics and magic squares in India : a study of Nārāyana Pandita's Ganitakaumudī, chapters 13-14 /
    by Kusuba, Takanori
    Published 1993

    Thesis Book
  7. 7
    Atelier de combinatoire franco-québécois : actes de l'atelier /
    Published 1992

    Conference Proceeding Book
  8. 8
    Combinators, -terms and proof theory

    Thesis Book
  9. 9
    Combinatory logic : pure, applied and typed /

    Book
  10. 10
    De arte combinatoria ejusque ad analysin applicatione dissertatio /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    Two-level functional languages /

    Book
  12. 12
    Proofs and types /

    Book
  13. 13
    Combinatory logic

    Book
  14. 14
    Computability in combinatory spaces : an algebraic generalization of abstract first order computability /

    Book
  15. 15
    Combinatory logic : pure, applied and typed /
    by Bimb�o, Katalin, 1963-
    Published 2012

    Book
  16. 16
    Computer-Streifzüge : eine Einführung in Zahlentheorie und Kombinatorik aus algorithmischer Sicht /
    by Jeger, Max
    Published 1986

    Book
  17. 17
    La logique combinatoire /
    by Ginisti, Jean-Pierre
    Published 1997

    Book
  18. 18
    Some extensional term models for combinatory logics and [lambda]-calculi /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Thesis Book
  19. 19
    Coding, cryptography, and combinatorics /
    Published 2004

    Book
  20. 20
    Séminaire Lotharingien de Combinatoire (Bayreuth, Erlangen, Strasbourg) : 9ème session, 13-15 septembre 1983, Hollabrunn, Niederösterreich : actes du séminaire /
    Published 1984

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search