Resultados de búsqueda - Programming language semantics

Limitar resultados
  1. Imagen de Portada

    Semantics, conceptual spaces, and the meeting of minds. por Warglien, Massimo, Gärdenfors, Peter

    Publicado en Synthese (Aug2013)

    Ver este registro en EBSCOhost
    Artículo
  2. Imagen de Portada

    Logic in India-Editorial Introduction. por Ditmarsch, Hans, Parikh, Rohit, Ramanujam, R.

    Publicado en Journal of Philosophical Logic (Oct2011)

    Ver este registro en EBSCOhost
    Editorial
  3. Imagen de Portada

    The character of quotation. por Shan, Chung-chieh

    Publicado en Linguistics & Philosophy (Oct2010)

    Ver este registro en EBSCOhost
    Artículo
  4. Imagen de Portada

    Semiotics of the 20th century. por Ivanov, Vyacheslav V.

    Publicado en Sign Systems Studies (2008)

    Ver este registro en EBSCOhost
    Artículo
  5. Imagen de Portada

    A Logical Calculus of Meaning and Synonymy. por Moschovakis, Yiannis N.

    Publicado en Linguistics & Philosophy (Feb2006)

    Ver este registro en EBSCOhost
    Artículo
  6. Imagen de Portada

    Explaining Crossover and Superiority as Left-to-right Evaluation. por Chung-Chieh Shan, Barker, Chris

    Publicado en Linguistics & Philosophy (Feb2006)

    Ver este registro en EBSCOhost
    Artículo
  7. Imagen de Portada

    Sense and the Computation of Reference. por Muskens, Reinhard

    Publicado en Linguistics & Philosophy (Aug2005)

    Ver este registro en EBSCOhost
    Artículo
  8. Imagen de Portada

    Semantic Grid: Scientific Issues, Infrastructure, and Methodology. por Hai Zhuge

    Publicado en Communications of the ACM (Apr2005)

    Ver este registro en EBSCOhost
    Artículo
  9. Imagen de Portada

    A connection based approach to common-sense topological description and reasoning. por Gotts, N.M., Gooday, J.M.

    Publicado en Monist (Jan1996)

    Ver este registro en EBSCOhost
    Artículo
  10. Imagen de Portada

    Watching the web grow up.

    Publicado en Economist (3/10/2007)

    Ver este registro en EBSCOhost
    Artículo
  11. Imagen de Portada

    Writing through Big Data: New Challenges and Possibilities for Data-Driven Arguments. por Beveridge, Aaron

    Publicado en Composition Forum (Fall2017)

    Ver este registro en EBSCOhost
    Artículo
  12. Imagen de Portada

    Programming Languages and Systems por Robbert Krebbers

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  13. Imagen de Portada

    Governance and Management of Medical Scientific Data Sharing and Application por Jian Guan

    Publicado 2026
    Ver este registro en EBSCOhost
    Libro
  14. Imagen de Portada

    Computer Aided Verification por Ruzica Piskac, Zvonimir Rakamarić

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  15. Imagen de Portada

    Formal Methods por André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

    Publicado 2025
    Ver este registro en EBSCOhost
    Libro
  16. Imagen de Portada

    Theses on the Metaphors of Digital-Textual History por Martin Paul Eve

    Publicado 2024
    Ver este registro en EBSCOhost
    Libro
  17. Imagen de Portada

    Tunnelling for a Better Life por Jinxiu Yan, Tarcisio Celestino, Markus Thewes, Erik Eberhardt

    Publicado 2024
    Ver este registro en EBSCOhost
    Libro
  18. Imagen de Portada

    Proceedings of the First International Conference on Advances in Computer Vision and Artificial Intelligence Technologies (ACVAIT 2022) por Ramesh Manza, Bharti Gawali, Pravin Yannawar, Filbert Juwono

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  19. Imagen de Portada

    Innovación educativa y formación docente. Últimas aportaciones en la investigación por Anguita Osuna, José Enrique (Editor), Hernán Losada, Isidoro (Editor)

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro
  20. Imagen de Portada

    Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education por Jean-Philippe Pellet, Gabriel Parriaux

    Publicado 2023
    Ver este registro en EBSCOhost
    Libro

Herramientas de búsqueda: