Výsledky vyhľadávania - "• Computing methodologies →Representation of Boolean functions"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: European Lisp Symposium ; https://hal.archives-ouvertes.fr/hal-01770939 ; European Lisp Symposium, Apr 2018, Marbella, Spain
Predmety: CCS CONCEPTS • Theory of computation → Data structures design and anal- ysis, Type theory, • Computing methodologies → Representation of Boolean functions, • Mathematics of computing → Graph algorithms, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: hal-01770939; https://hal.archives-ouvertes.fr/hal-01770939; https://hal.archives-ouvertes.fr/hal-01770939/document; https://hal.archives-ouvertes.fr/hal-01770939/file/newton.18.els.pdf
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection ; https://hal.archives-ouvertes.fr/hal-01880226 ; the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, Nov 2018, Boston, United States. ⟨10.1145/3281074.3281077⟩
Predmety: CCS Concepts: • Theory of computation→Data structures design and analysis, Type theory, • Computing methodologies →Representation of Boolean functions, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Boston, United States
Time: Boston, United States
Relation: hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226; https://hal.archives-ouvertes.fr/hal-01880226/document; https://hal.archives-ouvertes.fr/hal-01880226/file/newton.18.meta.pdf
Nájsť tento článok vo Web of Science