-
1دورية أكاديمية
المؤلفون: Rus Ioan A., Şerban Marcel-Adrian
المصدر: Annals of the West University of Timisoara: Mathematics and Computer Science, Vol 58, Iss 2, Pp 3-11 (2022)
مصطلحات موضوعية: category of sets with structure, set-mapping pair, fixed point structure, cartesian product, fixed point selection property, exponential with fixed point property, cartesian product with fixed point property, ordered set with fixed point property, metric space with fixed point property, topological space with fixed point property, Mathematics, QA1-939
وصف الملف: electronic resource
العلاقة: https://doaj.org/toc/1841-3307Test
-
2دورية أكاديمية
المؤلفون: Артюхов, Александр Викторович, Куликов, Геннадий Григорьевич, Речкалов, Александр Васильевич
المصدر: Computer Technologies, Automatic Control, Radioelectronics; Том 18, № 4 (2018); 78-87 ; Компьютерные технологии, управление, радиоэлектроника; Том 18, № 4 (2018); 78-87 ; 2409-6571 ; 1991-976X
مصطلحات موضوعية: system of knowledge, conceptual model, category of sets, semantic model, production system, corporate information system (CIS), система знаний, концептуальная модель, категория множеств, семантическая модель, производственная система, корпоративная информационная система (КИС)
وصف الملف: application/pdf
العلاقة: https://vestnik.susu.ru/ctcr/article/view/8072/6601Test; https://vestnik.susu.ru/ctcr/article/view/8072Test
-
3
المؤلفون: Cho, K., Westerbaan, Bas, Wetering, J.M.M. van de, Valiron, B.
المساهمون: Valiron, B.
المصدر: QPL
Valiron, B. (ed.), QPL 2020: Proceedings 17th International Conference on Quantum Physics and Logic, June 2-6, 2020, Paris, pp. 91-113
Valiron, B. (ed.), QPL 2020: Proceedings 17th International Conference on Quantum Physics and Logic, June 2-6, 2020, Paris, 91-113. S.l. : EPTCS
STARTPAGE=91;ENDPAGE=113;ISSN=2075-2180;TITLE=Valiron, B. (ed.), QPL 2020: Proceedings 17th International Conference on Quantum Physics and Logic, June 2-6, 2020, Parisمصطلحات موضوعية: FOS: Computer and information sciences, Monoid, Computer Science - Logic in Computer Science, Pure mathematics, Categorical logic, Structure (category theory), Mathematics - Category Theory, Logic in Computer Science (cs.LO), Morphism, Mathematics::Category Theory, Partial function, FOS: Mathematics, Countable set, Category Theory (math.CT), Digital Security, Category of sets, Mathematics, Unit interval
وصف الملف: application/pdf
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c7bd6308cf631f360f502745f7be624Test
https://hdl.handle.net/2066/237986Test -
4
المؤلفون: David E Speyer, Eric Ramos, Graham White
المصدر: Algebraic Combinatorics. 3:1079-1098
مصطلحات موضوعية: Combinatorics, Matrix (mathematics), Morphism, Functor, Mathematics::Commutative Algebra, Symmetric group, Discrete Mathematics and Combinatorics, Algebraic function, Basis (universal algebra), Category of sets, Eigenvalues and eigenvectors, Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::73fe093746bcd160fe2e9b277267c652Test
https://doi.org/10.5802/alco.128Test -
5
المصدر: Electronic Proceedings in Theoretical Computer Science. 323:84-94
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, Semantics (computer science), Computer science, business.industry, Databases (cs.DB), Mathematics - Category Theory, computer.software_genre, Logical consequence, Logic in Computer Science (cs.LO), Computer Science - Databases, Fragment (logic), FOS: Mathematics, Question answering, Category Theory (math.CT), Conjunctive query, Artificial intelligence, Category of sets, business, Computation and Language (cs.CL), computer, Natural language processing, Natural language, Sentence
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1210316135b9d301f7c4a800ac4554Test
https://doi.org/10.4204/eptcs.323.6Test -
6
المؤلفون: Eugenio Moggi, Walid Taha, Johan Thunberg
المصدر: Acta Cybernetica. 24:269-285
مصطلحات موضوعية: 0209 industrial biotechnology, Information Systems and Management, Correctness, Computer science, Probabilistic logic, Complex system, Monotonic function, 0102 computer and information sciences, 02 engineering and technology, Interval (mathematics), Management Science and Operations Research, 01 natural sciences, Theoretical Computer Science, System dynamics, 020901 industrial engineering & automation, Discrete time and continuous time, 010201 computation theory & mathematics, Computer Science (miscellaneous), Applied mathematics, Computer Vision and Pattern Recognition, Electrical and Electronic Engineering, Category of sets, Software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e450e165147a4f53e49cdbe25a747456Test
https://doi.org/10.14232/actacyb.24.3.2020.2Test -
7
المؤلفون: Octavio Malherbe, Alejandro Díaz-Caro
المصدر: LSFA
مصطلحات موضوعية: Pure mathematics, Functor, General Computer Science, Basis (linear algebra), Span (category theory), Adjunction, Theoretical Computer Science, Mathematics::Category Theory, Category of sets, Lambda calculus, Forgetful functor, computer, Vector space, computer.programming_language, Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5a826bdb78b0bea7dd7bcdb5536c2a87Test
https://doi.org/10.1016/j.entcs.2019.07.006Test -
8
المؤلفون: Simon Henry
المصدر: The Journal of Symbolic Logic. 84:1240-1251
مصطلحات موضوعية: Philosophy, Pure mathematics, Cardinality, Functor, Logic, Bounded function, Uncountable set, Transcendence degree, Category of sets, Topos theory, Mathematics, Vector space
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::a964d01fa8fd71327ff37307d2521ddbTest
https://doi.org/10.1017/jsl.2019.25Test -
9
المؤلفون: Michael Shulman
المصدر: Annals of Pure and Applied Logic. 170:465-504
مصطلحات موضوعية: Logic, 010102 general mathematics, Mathematics - Category Theory, Mathematics - Logic, 0102 computer and information sciences, 01 natural sciences, Topos theory, Algebra, Set (abstract data type), 010201 computation theory & mathematics, Mathematics::Category Theory, FOS: Mathematics, Elementary theory, Category Theory (math.CT), 0101 mathematics, Predicative expression, Logic (math.LO), Category of sets, Axiom, Mathematics
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9091f72468ce42ee8046ac785273505bTest
https://doi.org/10.1016/j.apal.2018.11.002Test -
10
المؤلفون: Hitoshi Komoto
المصدر: CIRP Annals. 68:157-160
مصطلحات موضوعية: 0209 industrial biotechnology, Theoretical computer science, Computer science, Mechanical Engineering, 02 engineering and technology, Design knowledge, Industrial and Manufacturing Engineering, 020303 mechanical engineering & transports, 020901 industrial engineering & automation, 0203 mechanical engineering, Designtheory, Hierarchical control system, Mathematical structure, Category of sets, Category theory, Categorical variable, Complement (set theory)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8c1613785c7f95dd9773fb586c4688b1Test
https://doi.org/10.1016/j.cirp.2019.04.102Test