يعرض 1 - 10 نتائج من 68 نتيجة بحث عن '"equation discovery"', وقت الاستعلام: 1.19s تنقيح النتائج
  1. 1
    دورية أكاديمية
  2. 2
  3. 3
    دورية أكاديمية
  4. 4
    دورية أكاديمية
  5. 5
    دورية أكاديمية
  6. 6
    دورية أكاديمية
  7. 7
    مؤتمر

    المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Université Laval Québec (ULaval), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), European Project: 101000165,ASSISTANT

    المصدر: Lecture Notes in Computer Science (LNCS) ; CPAIOR 2023 - 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research ; https://hal.science/hal-04460561Test ; CPAIOR 2023 - 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2023, Nice, France. pp.378-394, ⟨10.1007/978-3-031-33271-5_25⟩

    جغرافية الموضوع: Nice, France

    الوقت: Nice, France

    العلاقة: info:eu-repo/grantAgreement//101000165/EU/leArning and robuSt deciSIon SupporT systems for agile mANufacTuring environments/ASSISTANT; hal-04460561; https://hal.science/hal-04460561Test; https://hal.science/hal-04460561/documentTest; https://hal.science/hal-04460561/file/CPAIOR_2023.pdfTest

  8. 8
    دورية أكاديمية
  9. 9
    دورية أكاديمية
  10. 10
    دورية أكاديمية