Laurent Henocque – författare

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

2 produkter

1. 

   Artificial Intelligence, Automated Reasoning, and Symbolic Computation

   Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

   Av Jacques Calmet, Belaid Benhamou m. fl.

   Häftad, 2002

   568 kr

   Lägg i varukorg

   AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the …

2. 

   Artificial Intelligence, Automated Reasoning, and Symbolic Computation

   Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

   Av Volker Sorge, Laurent Henocque m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg