Filtrera

Språk
  • (10)
Ämne
  • (10)
  • (2)
  • (3)
Format
  • (5)
  • (5)
Leveranstid
  • (5)

Aart Middeldorp - Böcker

Visar alla böcker av Aart Middeldorp. Handla med fri frakt och snabb leverans!

Sortering:

  1. Automated Deduction - CADE-25

    av Amy P Felty, Aart Middeldorp

    Häftad, Engelska, 2015-07-30
    1089
    Köp
    Skickas inom 7-10 vardagar.
    Automated Deduction - CADE-25

    This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully r...

    Läs mer »

  2. Automated Deduction - CADE-25 E-bok

    av Amy P Felty, Aart Middeldorp

    E-bok, Engelska, 2015-07-30
    1083
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Automated Deduction - CADE-25

    This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully re...

    Läs mer »

  3. Processes, Terms and Cycles: Steps on the Road to Infinity

    av Aart Middeldorp, Vincent Van Oostrom, Femke Van Raamsdonk, Roel De Vrijer

    Häftad, Engelska, 2005-12-01
    1607
    Köp
    Skickas inom 7-10 vardagar.
    Processes, Terms and Cycles: Steps on the Road to Infinity

    This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Withou...

    Läs mer »

  4. Processes, Terms and Cycles: Steps on the Road to Infinity E-bok

    av Aart Middeldorp, Vincent Van Oostrom, Femke Van Raamsdonk, Roel De Vrijer

    E-bok, Engelska, 2005-12-11
    1601
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Processes, Terms and Cycles: Steps on the Road to Infinity

  5. Rewriting Techniques and Applications

    av Aart Middeldorp

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

    This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system de...

    Läs mer »

  6. Rewriting Techniques and Applications E-bok

    av Aart Middeldorp

    E-bok, Engelska, 2003-06-29
    1073
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Rewriting Techniques and Applications

    This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.The 23 revised full papers presented together with two system des...

    Läs mer »

  7. Functional and Logic Programming E-bok

    av Aart Middeldorp, Taisuke Sato

    E-bok, Engelska, 2006-12-29
    1114
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Functional and Logic Programming

    This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum fo...

    Läs mer »

  8. Functional and Logic Programming

    av Aart Middeldorp, Taisuke Sato

    Häftad, Engelska, 1999-10-01
    1154
    Köp
    Skickas inom 7-10 vardagar.
    Functional and Logic Programming

    This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum fo...

    Läs mer »

  9. Logic for Programming, Artificial Intelligence, and Reasoning

    av Ken McMillan, Aart Middeldorp, Andrei Voronkov

    Häftad, Engelska, 2013-12-02
    1399
    Köp
    Skickas inom 7-10 vardagar.
    Logic for Programming, Artificial Intelligence, and Reasoning

    This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions...

    Läs mer »

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

    av Ken McMillan, Aart Middeldorp, Andrei Voronkov

    E-bok, Engelska, 2013-12-05
    1384
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Logic for Programming, Artificial Intelligence, and Reasoning

    This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions...

    Läs mer »

  11. Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 20

    av Ken McMillan, Aart Middeldorp, Andrei Voronkov

    Perfect, 2013-12-01
    638
    Köp
    Skickas inom 7-10 vardagar.
    Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 20