Hoppa till sidans huvudinnehåll

Aart Middeldorp – författare

Visar alla böcker från författaren .
5 produkter
Amy P. Felty, Aart Middeldorp - Automated Deduction - CADE-25, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer - Processes, Terms and Cycles: Steps on the Road to Infinity, Häftad

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

Aart Middeldorp - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

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

AvAart Middeldorp

Häftad, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Aart Middeldorp, Taisuke Sato - Functional and Logic Programming, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Ken McMillan, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

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

729 kr

Skickas inom 10-15 vardagar