Resultados de búsqueda

Limitar resultados
  1. 1

    Fundamentos de informática : lógica, resolución de problemas, programas y computadoras por Sin autor

    Madrid : McGraw-Hill, c1994
    Consultar en el Cátalogo
    Libro
  2. 2

    Logic for computer science : foundations of automatic theorem proving por Gallier, Jean H.

    Nueva York : John Wiley and Sons, c1987
    Consultar en el Cátalogo
    Libro
  3. 3

    Programming languages theory and its implementation : applicative and imperative paradigms por Gordon, Michael J.C

    Nueva York : [S.n.], 1988
    Consultar en el Cátalogo
    Libro
  4. 4

    Lógica, programación e inteligencia artificial por Kowalski, Robert

    Madrid : Díaz de Santos, 1986
    Consultar en el Cátalogo
    Libro
  5. 5

    Sobre la representación de S4.3. por Bonelli, Eduardo

    1996
    Consultar en el Cátalogo
    Tesis
  6. 6

    Desenvolvimento sistemático de programas corretos : a abordagem denotacional por Martins, Raul César Baptista

    Campinas : UNICAMP, 1988
    Consultar en el Cátalogo
    Libro
  7. 7

    Introduçao à lógica por Nérici, Imideo Giuseppe

    São Paulo : [S.n.], 1981
    Consultar en el Cátalogo
    Libro
  8. 8

    Logic for mathematicians por Hamilton, A. G.

    Cambridge : Cambridge University Press, 2000
    Consultar en el Cátalogo
    Libro
  9. 9

    Lógica. Cursos 2002-2004 por Pons, Claudia Fabiana

    2002-2004
    Enlace del recurso / Disponible en línea
    Programa de materia
  10. 10

    Lógica. Curso 2005 por Pons, Claudia Fabiana

    [S.n.], 2005
    Enlace del recurso / Disponible en línea
    Libro
  11. 11

    Models and ultraproducts : an introduction por Bell, J. L.

    Amsterdam : [S.n.], 1974
    Consultar en el Cátalogo
    Libro
  12. 12

    Introducción a la lógica por Copi, Irving Marmer

    Buenos Aires : [S.n.], 1992
    Consultar en el Cátalogo
    Libro
  13. 13

    Lógica para matemáticos por Hamilton, A. G.

    Madrid : Paraninfo, 1981
    Consultar en el Cátalogo
    Libro
  14. 14

    Truth, deduction, and computation : logic and semantics for computer science por Davis, Ruth E.

    Nueva York : Computer Scienc
    Consultar en el Cátalogo
    Libro
  15. 15

    Introducción a la teoría de conjuntos por Oubiña, Lía

    Buenos Aires : EUDEBA, 1976
    Consultar en el Cátalogo
    Libro
  16. 16

    Relations and graphs : discrete mathematics for computer scientists por Schmidt, Gunther

    Berlín : Springer-Verlag, c1993
    Consultar en el Cátalogo
    Libro
  17. 17

    Introduction to mathematical logic por Mendelson, Elliott

    Boca Raton : CRC, c2010
    Consultar en el Cátalogo
    Libro
  18. 18

    Primer curso de lógica matemática por Suppes, Patrick

    Barcelona : Reverté, 2010
    Consultar en el Cátalogo
    Libro
  19. 19

    Quantum computing since Democritus por Aaronson, Scott

    Cambridge : Cambridge University Press, 2013
    Consultar en el Cátalogo
    Libro
  20. 20

    Fundamentos de Teoría de la Computación por Pons, Claudia Fabiana

    2019
    Enlace del recurso / Disponible en línea
    Programa de materia

Herramientas de búsqueda: