Suchergebnisse - "semantic programming"
-
1
Autoren:
Quelle: J, Vol 6, Iss 1, Pp 48-57 (2023)
Volume 6
Issue 1
Pages: 48-57Schlagwörter: polynomiality, machine learning, semantic programming, AI, Science, logical programming language, polynomial algorithm, neural networks
Dateibeschreibung: application/pdf
-
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 3:1-3
Schlagwörter: collection data, FAIR data principle, knowledge graph application, semantic programming
Zugangs-URL: https://www.biodiversitylibrary.org/part/425759
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 3:1-3
Schlagwörter: Data Sea Storage, FAIR data principle, knowledge graph application, semantic knowledge graph, semantic programming
Zugangs-URL: https://www.biodiversitylibrary.org/part/425828
-
4
Autoren:
Quelle: Mathematics ; Volume 9 ; Issue 17 ; Pages: 2102
Schlagwörter: polynomial computability, p-computability, Gandy’s fixed point theorem, semantic programming, polynomial operators,
Δ 0 p , computer scienceDateibeschreibung: application/pdf
Relation: E: Applied Mathematics; https://dx.doi.org/10.3390/math9172102
Verfügbarkeit: https://doi.org/10.3390/math9172102
-
5
Autoren:
Quelle: Mathematics ; Volume 10 ; Issue 1 ; Pages: 113
Schlagwörter: polynomiality, polynomial function, polynomial algorithm, Turing machine, logical programming language, semantic programming, smart contract, blockchain, AI
Dateibeschreibung: application/pdf
Relation: E: Applied Mathematics; https://dx.doi.org/10.3390/math10010113
Verfügbarkeit: https://doi.org/10.3390/math10010113
-
6
Autoren: et al.
Quelle: Biodiversity Information Science and Standards 3: e37412
Schlagwörter: semantic programming, FAIR data principle, knowledge graph application, collection data
Dateibeschreibung: text/html
Relation: info:eu-repo/semantics/altIdentifier/eissn/2535-0897
-
7
Autoren: et al.
Quelle: Biodiversity Information Science and Standards 3: e37206
Schlagwörter: semantic knowledge graph, Data Sea Storage, FAIR data principle, semantic programming, knowledge graph application
Dateibeschreibung: text/html
Relation: info:eu-repo/semantics/altIdentifier/eissn/2535-0897
-
8
Autoren: et al.
Quelle: Известия Иркутского государственного университета: Серия "Математика", Vol 22, Iss 1, Pp 71-89 (2017)
Schlagwörter: semantic programming, locally simple modeling, QA1-939, document model, business process, Mathematics
-
9
Autoren:
Quelle: Известия Иркутского государственного университета: Серия "Математика", Vol 21, Iss 1, Pp 89-107 (2017)
Schlagwörter: locally simple model, semantic programming, QA1-939, document model, Mathematics
-
10
Autoren: et al.
Quelle: National Academy of Managerial Staff of Culture and Arts Herald; № 3 (2018)
Вестник Национальной академии руководящих кадров культуры и искусств; № 3 (2018)
Вісник Національної академії керівних кадрів культури і мистецтв; № 3 (2018)Schlagwörter: 0508 media and communications, Pre-existing visual images, implicit messages, multimodal texts, mass-media, neuro-semantic programming, 05 social sciences, 0503 education
Dateibeschreibung: application/pdf
-
11
Autoren: et al.
-
12
Autoren:
-
13
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Phased array beamforming, reconfigurable tiled architecture, semantic programming model
Dateibeschreibung: application/pdf
-
14
Autoren:
Schlagwörter: \(\Sigma \)-programming, canonical expansion, Data structures, universal machine, semantic programming, determinability, fixed points, functional programming, programming methodology, logical programming, Abstract data types, algebraic specification, abstract data types
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/4049008
-
15
Autoren:
Schlagwörter: Logic in computer science, Specification and verification (program logics, model checking, etc.), \(\Sigma \)-formulae, semantic programming, computable predicates of finite types, General topics in the theory of software, list extensions
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/4037166
-
16
Autoren: Urchenko, O. G.
Schlagwörter: semantic programming, Database theory, Theory of programming languages, database query language
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/992759
-
17
Autoren: et al.
Schlagwörter: History of mathematics in the 20th century, dynamic logic, semantic programming, Siberian school of algebra and logic, decidability of an elementary theory, Birthday, Biographies, obituaries, personalia, bibliographies
Dateibeschreibung: application/xml
Zugangs-URL: https://zbmath.org/1563993
Full Text Finder
Nájsť tento článok vo Web of Science