Robert Nieuwenhuis – författare

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

7 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

   566 kr

   Lägg i varukorg

   This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22-27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri?cation(CFV'05), the Workshop on Empirically Successful Classical Automated Reasoning (ES- CAR), the …

2. 

   Automated Deduction - CADE-20

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

   Av Robert Nieuwenhuis

   E-bok, 2005

   755 kr

   Lägg i varukorg

3. 

   Rewriting Techniques and Applications

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

   Av Robert Nieuwenhuis

   Häftad, 2003

   566 kr

   Lägg i varukorg

   The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from …

4. 

   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

   1126 kr

   Lägg i varukorg

   This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. …

5. 

   Rewriting Techniques and Applications

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

   Av Robert Nieuwenhuis

   E-bok, 2007

   755 kr

   Lägg i varukorg

6. 

   Logic for Programming, Artificial Intelligence, and Reasoning

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

   Av Andrei Voronkov, Robert Nieuwenhuis

   E-bok, 2003

   1470 kr

   Lägg i varukorg

   This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. …

7. 

   Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

   Av Robert Nieuwenhuis

   2023

   672 kr

   Lägg i varukorg