Aart Middeldorp - Böcker

Visar alla böcker från författaren Aart Middeldorp.

5 produkter

Kategorier

5 produkter

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Av Amy P. Felty, Aart Middeldorp

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2005

1 389 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Av Aart Middeldorp

Häftad, Engelska, 2001

719 kr

Skickas inom 10-15 vardagar

Functional and Logic Programming

4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Av Aart Middeldorp, Taisuke Sato

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar

Logic for Programming, Artificial Intelligence, and Reasoning

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Av Ken McMillan, Aart Middeldorp m. fl

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar