Robert Nieuwenhuis – författare

Visar alla böcker från författaren Robert Nieuwenhuis.

3 produkter

1. 

   Automated Deduction – CADE-20

   20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

   Av Robert Nieuwenhuis

   Häftad, 2005

   729 kr

   Lägg i varukorg

2. 

   Rewriting Techniques and Applications

   14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

   Av Robert Nieuwenhuis

   Häftad, 2003

   729 kr

   Lägg i varukorg

3. 

   Logic for Programming, Artificial Intelligence, and Reasoning

   8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

   Av Robert Nieuwenhuis, Andrei Voronkov

   Häftad, 2001

   1449 kr

   Lägg i varukorg