Showing 1 - 18 results of 18 for search 'Calmet, Jacques', query time: 0.06s Refine Results
  1. 1
    Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings /

    Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / by Calmet, Jacques

    Published 1993
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /

    Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /

    Published 1982
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...

    Published 2002
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Internet Archive)
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...

    Published 2002
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...

    Published 2002
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Computer algebra EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /

    Computer algebra EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 /

    Published 1982
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...

    Published 2002
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings /

    Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings /

    Published 1998
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Artificial Intelligence and Symbolic Computation.

    Artificial Intelligence and Symbolic Computation.

    Published 1998
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  10. 10
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6 1992 : proceedings /

    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6 1992 : proceedings /

    Published 1993
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  11. 11
    Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /

    Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...

    Published 1995
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /

    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /

    Published 2006
    Other Authors: “…Calmet, Jacques…”
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings /

    Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings /

    Published 1996
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  14. 14
    Mathematical methods in computer science essays in memory of Thomas Beth /

    Mathematical methods in computer science essays in memory of Thomas Beth /

    Published 2008
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /

    Artificial intelligence and symbolic computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /

    Published 2006
    Other Authors: “…Calmet, Jacques…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /

    Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /

    Published 2018
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings /

    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings /

    Published 1996
    Other Authors: “…Calmet, Jacques…”
    Conference Proceeding Book
    Save to List
    Saved in:
  18. 18
    Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings /

    Artificial intelligence and symbolic computation : 12th international conference, AISC 2014, Seville, Spain, September 11-13, 2014 : proceedings /

    Published 2014
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search