Bokus

David Delahaye – författare

Visar alla böcker från författaren David Delahaye. Handla med fri frakt och snabb leverans.

2 produkter

  1. Bruno Woltzenlogel Paleo, David Delahaye - All about Proofs, Proofs for All, Häftad. Tillgänglighet: Lägg i varukorg

    All about Proofs, Proofs for All

    Av Bruno Woltzenlogel Paleo, David Delahaye

    Häftad, 2015

    207 kr

    Lägg i varukorg

  2. Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton - Intelligent Computer Mathematics, Häftad. Tillgänglighet: Lägg i varukorg

    Intelligent Computer Mathematics

    10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

    Av Serge Autexier, Jacques Calmet m. fl.

    Häftad, 2010

    552 kr

    Lägg i varukorg

    Thisvolumecontainsthecollectedcontributionsofthreeconferences,AISC2010, Calculemus 2010 and MKM 2010. AISC 2010 was the 10th International C- ference on Arti?cial Intelligence and symbolic computation. Its area of concern is the use of AI techniques within symbolic computation as well as the appli- …