Imagem da capa

The Significance of Symbolic Logic for Scientific Education

Na minha lista:
Publicado no:arXiv.org (Jul 13, 2024), p. n/a
Autor principal: Platzer, André
Publicado em:
Cornell University Library, arXiv.org
Assuntos:
Algorithms
Operators
Semantics
Cyber-physical systems
Engineering education
Imperative programming
Logic
Programming languages
Reasoning
Acesso em linha:Citation/Abstract
Full text outside of ProQuest
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!