Aart Middeldorp – författare

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

5 produkter

Kategorier

5 produkter

Del 9195
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
749 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 439 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
749 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
749 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
749 kr
Skickas inom 10-15 vardagar