Aart Middeldorp – författare
Visar alla böcker från författaren Aart Middeldorp.
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, 2015
729 kr
Lägg i varukorg
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, 2005
1409 kr
Lägg i varukorg
Rewriting Techniques and Applications
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Häftad, 2001
729 kr
Lägg i varukorg
Functional and Logic Programming
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Av Aart Middeldorp, Taisuke Sato
Häftad, 1999
729 kr
Lägg i varukorg
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, 2013
729 kr
Lägg i varukorg