Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 21 Para Buscar '"Cambridge Tracts in Theoretical Computer Science ;"', tiempo de consulta: 0.08s Limitar resultados
  1. 1
    Computational learning theory : an introduction
    por Anthony, Martin
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca Universitat Ramon Llull, Universidad Loyola - Universidad Loyola Granada)
    Libro
  2. 2
    Data refinement : model-oriented proof methods and their comparison
    Publicado 1998
    “…Cambridge tracts in theoretical computer science…”
    Libro
  3. 3
    Extensions of first order logic
    por Manzano, María
    Publicado 1996
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  4. 4
    Formal specification and design
    por Feijs, L. M. G.
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  5. 5
    Formal methods in artificial intelligence
    por Ramsay, Allan, 1953-
    Publicado 1988
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  6. 6
    Mathematics for computer graphics
    por Hoggar, S. G.
    Publicado 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  7. 7
    Action semantics
    por Mosses, Peter
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  8. 8
    The optimal implementation of functional programming languages
    por Asperti, Andrea
    Publicado 1998
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  9. 9
    Two-level functional languages
    por Nielson, Flemming, 1955-
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  10. 10
    Mathematical theory of domains
    por Stoltenberg-Hansen, Viggo
    Publicado 1994
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  11. 11
    The Lebesgue integral
    por Burkill, J. C. 1900-1993
    Publicado 1975
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  12. 12
    Algorithmic information theory
    por Chaitin, Gregory J.
    Publicado 1987
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  13. 13
    The clausal theory of types
    por Wolfram, D. A.
    Publicado 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca Universidad de Deusto (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada)
    Libro
  14. 14
    Information flow : the logic of distributed systems
    por Barwise, Jon
    Publicado 1997
    “…Cambridge Tracts in Theoretical Computer Science…”
    Biblioteca de la Universidad de Navarra (Otras Fuentes: Biblioteca Provicincial Misioneros Claretianos - Provincia de Santiago)
    Libro
  15. 15
    Logic of typed feature structures : with applications to unification grammars, logoc programs and constraint resolution
    por Carpenter, Bob
    Publicado 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  16. 16
    Basic proof theory
    por Troelstra, A. S.
    Publicado 2000
    “…Cambridge tracts in theoretical computer science…”
    Libro
  17. 17
    Topology via logic
    por Vickers, Steven
    Publicado 1989
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  18. 18
    Propositional logic, deduction and algorithms
    por Büning, Hans Kleine
    Publicado 1999
    “…Cambridge Tracts in Theoretical Computer Science…”
    Libro
  19. 19
    Modal logic
    por Blackburn, Patrick, 1959-
    Publicado 2004
    “…Cambridge tracts in theoretical computer science…”
    Sumario
    Libro
  20. 20
    Logic and computation : interactive proof with Cambridge LCF
    por Paulson, Lawrence C.
    Publicado 1990
    “…Cambridge tracts in theoretical computer science…”
    Libro

Herramientas de búsqueda: