Suchergebnisse - Kamareddine, Fairouz

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Thirty Five Years of Automating Mathematics
    von Kamareddine, Fairouz D.

    Veröffentlicht 2003
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    A modern perspective on type theory: from its origins until today
    von Kamareddine, Fairouz, Laan, Twan 1970-, Nederpelt, Rob 1942-

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A primer of mathematical analysis and the foundations of computation
    von Kamareddine, Fairouz, Seldin, Jonathan

    Veröffentlicht 2023
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Intelligent computer mathematics: 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Kamareddine, Fairouz …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Intelligent technologies and applications: First international conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Kamareddine, Fairouz …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Intelligent computer mathematics: 14th international conference, CICM 2021, Timisoara, Romania, July 26-31, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Kamareddine, Fairouz …”
    Tagungsbericht Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Thirty five years of automating mathematics

    Veröffentlicht 2003
    Weitere beteiligte Personen: “… Kamareddine, Fairouz D. …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: