Vincent Van Oostrom – författare
Visar alla böcker från författaren Vincent Van Oostrom. Handla med fri frakt och snabb leverans.
10 produkter
Logic Colloquium '99
Lecture Notes in Logic 17
Av Albert Visser, Vincent Van Oostrom m. fl.
E-bok, 2004
883 kr
Lägg i varukorg
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 tutorials given at the meeting and present …
Logic Colloquium '99
Av Albert Visser, Vincent Van Oostrom m. fl.
E-bok
877 kr
Lägg i varukorg
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. This volume, the seventeenth publication in the …
Logic Colloquium '99
Lecture Notes in Logic 17
Av Albert Visser, Vincent Van Oostrom m. fl.
E-bok, 2004
864 kr
Lägg i varukorg
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 tutorials given at the meeting and present …
Logic Colloquium '99
Lecture Notes in Logic 17
Av Jan Van Eijck, Vincent Van Oostrom m. fl.
Häftad, 2004
750 kr
Lägg i varukorg
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 tutorials given at the meeting and present …
Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Häftad, 2004
567 kr
Lägg i varukorg
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 on all aspects of rewriting. Previous RTA conferences …
Rewriting Techniques and Applications
15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
E-bok, 2004
755 kr
Lägg i varukorg
Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Av Aart Middeldorp, Vincent van Oostrom m. fl.
Häftad, 2005
1094 kr
Lägg i varukorg
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. Without attempting to give a balanced account of Jan …
Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Av Roel de Vrijer, Femke van Raamsdonk m. fl.
E-bok, 2005
1416 kr
Lägg i varukorg
Logic Colloquium '99
Lecture Notes in Logic 17
Av Jan Van Eijck, Vincent Van Oostrom m. fl.
Inbunden, 2004
904 kr
Tillfälligt slut
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 tutorials given at the meeting and present …
