Filtrera

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

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 (PDF, LCP), Engelska
    912
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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 (PDF, LCP), Engelska, 2004-07-08
    681
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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
    1151
    Köp
    Skickas från oss inom 5-8 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...

    Läs mer »

  4. Logic Colloquium '99

    av Jan Van Eijck, Vincent Van Oostrom, Albert Visser

    Häftad, Engelska, 2004-07-01
    641
    Köp
    Skickas från oss inom 5-8 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...

    Läs mer »

  5. Rewriting Techniques and Applications

    av Vincent Van Oostrom

    Häftad, Engelska, 2004-05-01
    760
    Köp
    Skickas från oss 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 (PDF, LCP), Engelska, 2004-08-24
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    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
    1505
    Köp
    Skickas från oss 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 (PDF, LCP), Engelska, 2005-12-11
    1483
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Processes, Terms and Cycles: Steps on the Road to Infinity

  9. Rewriting Techniques And Applications

    av Oostrom Vincent Van Oostrom

    Häftad, Engelska, 2014-03-12
    677
    Köp
    Skickas från oss inom 7-10 vardagar.
    Rewriting Techniques And Applications