Aart Middeldorp | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

Rewriting Techniques and Applications - 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proc

Middeldorp, Aart
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

51,10 €

Functional and Logic Programming - 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Middeldorp, Aart; Sato, Taisuke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja

51,10 €

Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Bir

Middeldorp, Aart; van Oostrom, Vincent; van Raamsdonk, Femke; de Vrijer, Roel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

100,90 €

Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Afri

McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,10 €

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

Felty, Amy P.; Middeldorp, Aart
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €