Aart Middeldorp – författare
Visar alla böcker från författaren Aart Middeldorp. Handla med fri frakt och snabb leverans.
5 produkter
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
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
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
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
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
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar