Filtrera

Ämne
  • (5)
  • (1)
  • (7)
Format
  • (1)
  • (4)
  • (3)
Utgivningsår
  • (7)
Leveranstid
  • (4)

Vincent Van Oostrom - Böcker

Visar alla böcker av Vincent Van Oostrom. Handla med fri frakt och snabb leverans!

Sortering:

  1. Logic Colloquium '99 E-bok

    av Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    E-bok, Engelska
    851
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Logic Colloquium '99

    Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. T...

    Läs mer »

  2. Logic Colloquium '99 E-bok

    av Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    E-bok, Engelska, 2004-07-08
    545
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Logic Colloquium '99

    A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on ...

    Läs mer »

  3. Logic Colloquium '99

    av Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    Inbunden, Engelska, 2004-07-01
    970
    Köp
    Skickas inom 7-10 vardagar.
    Logic Colloquium '99

    A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on ...

    Läs mer »

  4. Logic Colloquium '99

    av Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    Häftad, Engelska, 2004-07-01
    546
    Köp
    Skickas inom 7-10 vardagar.
    Logic Colloquium '99

    A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on ...

    Läs mer »

  5. Rewriting Techniques and Applications

    av Vincent Van Oostrom

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

    This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2- 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research o...

    Läs mer »

  6. Rewriting Techniques and Applications E-bok

    av Vincent Van Oostrom

    E-bok, Engelska, 2004-08-24
    994
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Rewriting Techniques and Applications

  7. 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
    1639
    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 »

  8. 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
    1633
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Processes, Terms and Cycles: Steps on the Road to Infinity