Miki Hermann – författare

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

2 produkter

1. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

   Av Miki Hermann, Andrei Voronkov

   Häftad, 2006

   1126 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2006, held in Phnom Penh, Cambodia in November 2006. The 38 revised full papers presented together with one invited talk were carefully reviewed …

2. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

   Av Andrei Voronkov, Miki Hermann

   E-bok, 2006

   1455 kr

   Lägg i varukorg