-
21
المؤلفون: Jonathan Protzenko
المصدر: IWIL@LPAR
مصطلحات موضوعية: Set (abstract data type), Discrete mathematics, PEARL (programming language), Monad (non-standard analysis), Free variables and bound variables, Premise, Calculus, Tree (set theory), Combinatory logic, computer, Differentiation rules, computer.programming_language, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d64aece3ddd1e6459143dcf038efa982
https://doi.org/10.29007/cfdq -
22
المصدر: Handbook of Grammatical Evolution ISBN: 9783319787169
Handbook of Grammatical Evolutionمصطلحات موضوعية: Computer science, Grammatical evolution, Programming language, Formal language, Semantic context, Pushdown automaton, Semantics, computer.software_genre, computer, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c4294e19a6c7cefea9fa35d094cb103f
https://doi.org/10.1007/978-3-319-78717-6_8 -
23
المؤلفون: Janusz R. Getta, Marcin Zimniak
المصدر: Open Journal of Social Sciences. :8-15
مصطلحات موضوعية: Set (abstract data type), Class (set theory), Syntax (programming languages), Logical equivalence, Semantics (computer science), Simple (abstract algebra), Computer science, Algorithm, Differentiation rules, Task (project management)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2c5e3bbfa3b26488e44e8361e3066aba
https://doi.org/10.4236/jss.2015.311002 -
24
المؤلفون: Iris Loeb
المساهمون: Mathematics
المصدر: Synthese, 194(1), 15-31. Springer Netherlands
Loeb, I 2017, ' The role of universal language in the early work of Carnap and Tarski ', Synthese, vol. 194, no. 1, pp. 15-31 . https://doi.org/10.1007/s11229-014-0601-4مصطلحات موضوعية: Model theory, Philosophy of science, 010102 general mathematics, General Social Sciences, Metaphysics, Universal language, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, language.human_language, Differentiation rules, Epistemology, Philosophy of language, Philosophy, 060302 philosophy, language, 0101 mathematics, Axiom, Mathematics
-
25
المؤلفون: Alexander Vaninsky
المصدر: International Journal of Mathematical Education in Science and Technology. 46:450-456
مصطلحات موضوعية: Characterizations of the exponential function, Linear function (calculus), Mathematics (miscellaneous), Applied Mathematics, Calculus, Logarithmic integral function, Functional derivative, Logarithmic derivative, Antiderivative, Differentiation rules, Education, Exponential integral, Mathematics
-
26
المؤلفون: Giorgos Flouris, Martin Doerr, Christos Strubulis, Yannis Tzitzikas
المصدر: International Journal on Digital Libraries. 15:27-51
مصطلحات موضوعية: Database, business.industry, Computer science, Digital data, Conceptual model (computer science), computer.file_format, Library and Information Sciences, computer.software_genre, Digital library, Differentiation rules, Metadata, Knowledge base, RDF, Rule of inference, business, computer
-
27
المؤلفون: Mauricio Ayala-Rincón, Flávio L. C. de Moura
المصدر: Undergraduate Topics in Computer Science ISBN: 9783319516516
مصطلحات موضوعية: Algebra, Sorting algorithm, Natural deduction, Computer science, Simple (abstract algebra), Computer Science::Mathematical Software, Sequent calculus, Order (ring theory), Algebraic number, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f1abea82bed3707e2a9aa588af20e9e0
https://doi.org/10.1007/978-3-319-51653-0_5 -
28
المؤلفون: Arnold Kirsch
المصدر: ZDM. 46:691-695
مصطلحات موضوعية: Differentiation under the integral sign, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Fundamental theorem, General Mathematics, Fundamental theorem of calculus, Compactness theorem, Calculus, Time-scale calculus, Integration by substitution, Antiderivative, Differentiation rules, Education, Mathematics
-
29
المؤلفون: Peter Schroeder-Heister
المصدر: Studia Logica. 102:1185-1216
مصطلحات موضوعية: Set (abstract data type), Propositional variable, Negation introduction, History and Philosophy of Science, Disjunction introduction, Logic, Calculus, Proof-theoretic semantics, Computational linguistics, Expression (mathematics), Differentiation rules, Mathematics
-
30
المؤلفون: Manabu Okumura, Sadao Kurohashi, Ryohei Sasano
المصدر: Journal of Natural Language Processing. 21:1183-1205
مصطلحات موضوعية: Computer science, business.industry, Speech recognition, Word processing, Lexicon, computer.software_genre, Differentiation rules, Simple (abstract algebra), Morphological analysis, Onomatopoeia, Artificial intelligence, business, computer, Natural language processing
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f154ae046cf4bbc132286018f29751a
https://doi.org/10.5715/jnlp.21.1183