Hoppa till sidans huvudinnehåll

Aart Middeldorp – författare

Visar alla böcker från författaren Aart Middeldorp.
5 produkter
Del 9195 - Lecture Notes in Computer Science

Automated Deduction - CADE-25

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

AvAmy 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

AvAart Middeldorp,Vincent van Oostromm. fl.

Häftad, Engelska, 2005

1 399 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

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

AvAart 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

AvAart 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

AvKen McMillan,Aart Middeldorpm. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar