-
1
المؤلفون: Joanna Golińska Pilarek, Taneli Huuskonen, Michał Zawidzki
المصدر: Automated Deduction – CADE 28 ISBN: 9783030798758
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.3, I.2.3, I.2.4, D.3.1, 0603 philosophy, ethics and religion, 01 natural sciences, Denotation, Identity (mathematics), Truth value, 0101 mathematics, Equivalence (measure theory), Mathematics, 010102 general mathematics, 06 humanities and the arts, Extension (predicate logic), Propositional calculus, Satisfiability, Differentiation rules, Logic in Computer Science (cs.LO), Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, 060302 philosophy, 03B22, 03B35 (Primary) 03B20, 03A05 (Secondary)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3 -
2
المؤلفون: Valentin Goranko
المصدر: Axioms, Vol 8, Iss 4, p 118 (2019)
Axioms; Volume 8; Issue 4; Pages: 118مصطلحات موضوعية: Filosofi, Logic, Computer science, hybrid deduction–refutation rules, derivative hybrid rules, soundness, 0603 philosophy, ethics and religion, 01 natural sciences, Calculus, 0101 mathematics, deductive refutability, natural deduction, meta-proof theory, Mathematical Physics, Mathematical logic, Soundness, Matematik, refutation systems, completeness, Algebra and Number Theory, Natural deduction, lcsh:Mathematics, 010102 general mathematics, 06 humanities and the arts, Propositional calculus, lcsh:QA1-939, Differentiation rules, Philosophy, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Completeness (logic), Data_GENERAL, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 060302 philosophy, Geometry and Topology, Mathematics, Analysis
وصف الملف: application/pdf
-
3
المؤلفون: Praveen Agarwal, Shilpi Jain
المصدر: Boletim da Sociedade Paranaense de Matemática, Vol 37, Iss 3, Pp 113-118 (2019)
مصطلحات موضوعية: Differentiation under the integral sign, lcsh:Mathematics, General Mathematics, 010102 general mathematics, Fractional calculus, Chain rule, lcsh:QA1-939, 01 natural sciences, Differentiation rules, 010101 applied mathematics, Product rule, Leibniz integral rule, symbols.namesake, generalized Leibniz rule, Calculus, symbols, Power rule, 0101 mathematics, generalized hypergeometric series, General Leibniz rule, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a878a0c0d8c62f90aad29dc75fb42d8f
https://doi.org/10.5269/bspm.v37i3.18626 -
4
المؤلفون: Agata Ciabattoni, Revantha Ramanayake
المصدر: ACM Transactions on Computational Logic. 17:1-39
مصطلحات موضوعية: Discrete mathematics, Class (set theory), Natural deduction, General Computer Science, Logic, 010102 general mathematics, 0102 computer and information sciences, Time-scale calculus, 01 natural sciences, Differentiation rules, Theoretical Computer Science, Decidability, Algebra, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, 010201 computation theory & mathematics, Proof theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, 0101 mathematics, Axiom, Mathematics
-
5
المؤلفون: 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
-
6
المؤلفون: J.-P. Penot, Kaiwen Meng, S. J. Li
المساهمون: School of Mathematical Sciences [Chengdu] (UESTC), University of Electronic Science and Technology of China (UESTC), Laboratoire de Mathématiques et de leurs Applications [Pau] (LMAP), Université de Pau et des Pays de l'Adour (UPPA)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Set-Valued Analysis
Set-Valued Analysis, Springer Verlag, 2009, 17, pp.21--39مصطلحات موضوعية: Statistics and Probability, education, 0211 other engineering and technologies, 02 engineering and technology, ComputingMethodologies_ARTIFICIALINTELLIGENCE, 01 natural sciences, Calculus, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], 0101 mathematics, Calmness, ComputingMilieux_MISCELLANEOUS, health care economics and organizations, Mathematics, Numerical Analysis, 021103 operations research, Applied Mathematics, 010102 general mathematics, Feasible region, Multimap, Composition (combinatorics), musculoskeletal system, Differentiation rules, Algebra, surgical procedures, operative, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Variational inequality, Geometry and Topology, Element (category theory), human activities, Analysis, Semi-differentiability
-
7
المؤلفون: M. K. Vamanamurthy, G. D. Anderson, Matti Vuorinen
المصدر: The American Mathematical Monthly. 113:805-816
مصطلحات موضوعية: Natural deduction, General Mathematics, 010102 general mathematics, Monotonic function, medicine.disease, 01 natural sciences, Differentiation rules, Proof calculus, 0103 physical sciences, Calculus, medicine, 010307 mathematical physics, 0101 mathematics, Calculus (medicine), Mathematics
-
8
المؤلفون: Shih-Tong Tu, Hari M. Srivastava, Tsu-Chen Wu
المصدر: Computers & Mathematics with Applications. 40(2-3):303-312
مصطلحات موضوعية: 02 engineering and technology, Hypergeometric functions, 01 natural sciences, Modelling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Calculus, 0101 mathematics, Psi (or Digamma) function, Commutative property, Analytic continuation formulas, Hypergeometric transformations, Mathematics, Hypergeometric representations, Differentiation under the integral sign, Leibniz rules, Series (mathematics), Multivariable calculus, 010102 general mathematics, Fractional calculus, 020206 networking & telecommunications, Time-scale calculus, Differentiation rules, Algebra, Hypergeometric polynomials, Computational Mathematics, Computational Theory and Mathematics, Special functions, Modeling and Simulation, Jacobi polynomials