Filtrera

Språk
  • (6)
Ämne
  • (6)
  • (1)
Format
  • (3)
  • (3)
Utgivningsår
  • (1)
  • (6)
Leveranstid
  • (3)

Robert Nieuwenhuis - Böcker

Visar alla böcker av Robert Nieuwenhuis. Handla med fri frakt och snabb leverans!

Sortering:

  1. Automated Deduction - CADE-20

    av Robert Nieuwenhuis

    Häftad, Engelska, 2005-07-01
    1260
    Köp
    Skickas inom 7-10 vardagar.
    Automated Deduction - CADE-20

    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 Success...

    Läs mer »

  2. Automated Deduction - CADE-20 E-bok

    av Robert Nieuwenhuis

    E-bok, Engelska, 2005-08-25
    1278
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Automated Deduction - CADE-20

  3. Rewriting Techniques and Applications

    av Robert Nieuwenhuis

    Häftad, Engelska, 2003-05-01
    1399
    Köp
    Skickas inom 7-10 vardagar.
    Rewriting Techniques and Applications

    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 contr...

    Läs mer »

  4. Logic for Programming, Artificial Intelligence, and Reasoning

    av Robert Nieuwenhuis, Andrei Voronkov

    Häftad, Engelska, 2001-11-01
    1727
    Köp
    Skickas inom 7-10 vardagar.
    Logic for Programming, Artificial Intelligence, and Reasoning

    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 I...

    Läs mer »

  5. Rewriting Techniques and Applications E-bok

    av Robert Nieuwenhuis

    E-bok, Engelska, 2007-03-06
    1420
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Rewriting Techniques and Applications

    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 contri...

    Läs mer »

  6. Logic for Programming, Artificial Intelligence, and Reasoning E-bok

    av Robert Nieuwenhuis, Andrei Voronkov

    E-bok, Engelska, 2003-06-30
    1670
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Logic for Programming, Artificial Intelligence, and Reasoning

    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 I...

    Läs mer »

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

    av Robert Nieuwenhuis

    Perfect, 2023-01-01
    638
    Köp
    Skickas inom 7-10 vardagar.
    Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings