يعرض 1 - 20 نتائج من 239 نتيجة بحث عن '"Convolution product"', وقت الاستعلام: 0.57s تنقيح النتائج
  1. 1
    Academic Journal

    المؤلفون: Teodor Bulboacă, Hanaa M. Zayed

    المصدر: Journal of Inequalities and Applications, Vol 2024, Iss 1, Pp 1-17 (2024)

    وصف الملف: electronic resource

  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Academic Journal
  5. 5
    Academic Journal
  6. 6
  7. 7
    Academic Journal
  8. 8
    Academic Journal
  9. 9
    Conference

    المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Marco Gaboardi, Femke van Raamsdonk, ANR-22-CE48-0015,CoREACT,Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable(2022), ANR-21-CE48-0017,LambdaComb,une expédition cartographique entre le lambda-calcul, la logique, et la combinatoire(2021)

    المصدر: Leibniz International Proceedings in Informatics (LIPIcs) ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-04222049 ; FSCD 2023 - 8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy. pp.17:1-17:20, ⟨10.4230/LIPIcs.FSCD.2023.17⟩

    جغرافية الموضوع: Rome, Italy

  10. 10
    Academic Journal

    المساهمون: Alecci, Gessica, Barbero, Stefano, Murru, Nadir

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001114059300001; volume:2023; numberofpages:17; journal:RICERCHE DI MATEMATICA; https://hdl.handle.net/11572/400104

  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13
    Academic Journal
  14. 14
    Academic Journal
  15. 15
    Academic Journal
  16. 16
    Conference
  17. 17
    Academic Journal
  18. 18
    Academic Journal
  19. 19
    Academic Journal

    المؤلفون: Hyun Chung

    المصدر: Mathematics; Volume 9; Issue 21; Pages: 2738

    وصف الملف: application/pdf

    Relation: Mathematical Physics; https://dx.doi.org/10.3390/math9212738

  20. 20
    Academic Journal