-
101
المؤلفون: Terry Halpin
المصدر: On the Move to Meaningful Internet Systems: OTM 2012 Workshops ISBN: 9783642336171
OTM Workshopsمصطلحات موضوعية: Finite model theory, Description logic, Computer science, Programming language, Information model, Formal semantics (linguistics), Object type, computer.software_genre, computer, Data type, Natural language, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a802ab35ebd5e466c71552f004d2ea5e
https://doi.org/10.1007/978-3-642-33618-8_49 -
102
المؤلفون: Adrian Paschke, Tara Athan, Harold Boley, Zhili Zhao, Kia Teymourian
المصدر: Rules on the Web: Research and Applications ISBN: 9783642326882
RuleMLمصطلحات موضوعية: Markup language, RuleML, Knowledge representation and reasoning, computer.internet_protocol, Computer science, Programming language, Serialization, Complex event processing, computer.software_genre, Production Rule Representation, Differentiation rules, Data mining, computer, XML
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::04398acc76cf42e78bc471fa59a9a7dd
https://doi.org/10.1007/978-3-642-32689-9_9 -
103
المؤلفون: Herman Balsters
المصدر: On the Move to Meaningful Internet Systems: OTM 2012 Workshops ISBN: 9783642336171
OTM Workshopsمصطلحات موضوعية: Set (abstract data type), Computer science, Programming language, Relational database, Semantics (computer science), Structured English, Business process reengineering, computer.software_genre, computer, Natural language, Data migration, Differentiation rules
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e15f55582b2219c69429def7f56d5184
https://doi.org/10.1007/978-3-642-33618-8_50 -
104
المؤلفون: Eitan Farchi, Yosi Ben-Asher
المصدر: International Journal of Parallel Programming. 22:375-407
مصطلحات موضوعية: Set (abstract data type), Correctness, Theoretical computer science, Parallel processing (DSP implementation), Computer science, Concurrency, Serialization, Context (language use), Equivalence (measure theory), Software, Differentiation rules, Information Systems, Theoretical Computer Science
-
105
المؤلفون: Dinh The Luc, Michel Théra
المصدر: Mathematics of Operations Research. 19:659-675
مصطلحات موضوعية: Mathematical optimization, General Mathematics, Reduced derivative, Fréchet derivative, Subderivative, Management Science and Operations Research, Differentiation rules, Computer Science Applications, Algebra, Generalizations of the derivative, Partial derivative, Functional derivative, Pseudoconvex function, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b9df591560440504376ef083e62d0d6e
https://doi.org/10.1287/moor.19.3.659 -
106
المؤلفون: Marcello D'Agostino, Dov M. Gabbay
المصدر: Journal of Automated Reasoning. 13:243-281
مصطلحات موضوعية: Discrete mathematics, Structure (mathematical logic), Generalization, Relevance logic, Resolution (logic), Logical consequence, Linear logic, Differentiation rules, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Negation, Artificial Intelligence, Computer Science::Logic in Computer Science, Software, Mathematics
-
107
المؤلفون: Bruijn, de, N.G., Melham, T.F., Camilleri, J.
المساهمون: Mathematics and Computer Science
المصدر: Higher Order Logic Theorem Proving and Its Applications ISBN: 9783540584506
TPHOLs
Higher Order Logic Theorem Proving and Its Applications (Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994), 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Higher Order Logic Theorem Proving and Its Applications (Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994)مصطلحات موضوعية: Fragment (logic), Computer Science::Logic in Computer Science, Calculus, ComputingMilieux_LEGALASPECTSOFCOMPUTING, Automath, Lambda, Lambda calculus, computer, Astrophysics::Galaxy Astrophysics, Physics::History of Physics, Differentiation rules, Mathematics, computer.programming_language
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86cb9aee6ce0700d7a693ea4f14243e5
https://doi.org/10.1007/3-540-58450-1_36 -
108
المؤلفون: Zhili Zhao, Adrian Paschke
المصدر: SWAT4LS
مصطلحات موضوعية: Flexibility (engineering), Database, business.industry, Computer science, Multi-agent system, media_common.quotation_subject, computer.software_genre, Differentiation rules, Adaptability, Workflow, Software engineering, business, computer, Scientific workflow system, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bd0bb25d5a3cbf4af53333629ed9da88
https://doi.org/10.1145/2166896.2166928 -
109
المؤلفون: A. K. Ghosh, Ulrich L. Rohde, G. C. Jain, Ajay K. Poddar
المصدر: Introduction to Integral Calculus ISBN: 9781118130346
Introduction to Integral Calculus: Systematic Studies with Engineering Applications for Beginnersمصطلحات موضوعية: Differentiation under the integral sign, Fundamental theorem, Multivariable calculus, Calculus, Differential calculus, Time-scale calculus, Integration by substitution, Antiderivative, Differentiation rules, Mathematics
-
110
المؤلفون: Stanislaw H. Żak, Edwin K. P. Chong
المصدر: An Introduction to Optimization ISBN: 9781118033340
An Introduction to Optimization, Third Editionمصطلحات موضوعية: Generalizations of the derivative, Gâteaux derivative, Calculus, medicine, Differentiable function, Time-scale calculus, medicine.disease, Differentiation rules, Matrix calculus, Calculus (medicine), Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f3503fb69d8762816e220a15cdfa8dac
https://doi.org/10.1002/9781118033340.ch5