Mostrando 1 - 4 Resultados de 4 Para Buscar 'Apt, Krzysztof R.', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Verification of sequential and concurrent programs
    por Apt, Krzysztof R.
    Publicado 1997
    Otros Autores: “…Apt, Krzysztof R.…”
    Libro
  2. 2
    TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the thirteenth Conference (TARK 2011
    por Apt, Krzysztof R., 1949-
    Publicado 2011
    Otros Autores: “…Apt, Krzysztof R., 1949-…”
    Libro electrónico
  3. 3
    New perspectives on games and interaction
    Publicado 2008
    Otros Autores: “…Apt, Krzysztof R., 1949-…”
    Libro electrónico
  4. 4
    Foundations of deductive databases and logic programming
    Publicado 1988
    Otros Autores:
    Libro electrónico

Herramientas de búsqueda: