Buy Used and New Aart Middeldorp Books

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings: 9195 (Lecture Notes in Computer Science)

by Amy P. Felty,Aart Middeldorp

ISBN 13: 9783319214009

Format: Paperback (670 pages)
Publisher: Springer
Published: 30 Jul 2015

Save for later

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science)

by Roel de Vrijer,Femke van Raamsdonk,Aart Middeldorp,Vincent van Oostrom

ISBN 13: 9783540309116

Format: Paperback (660 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings: Proceedings of the ... (Lecture Notes in Computer Science)

by Aart Middeldorp, Taisuke Sato

ISBN 13: 9783540666776

Format: Paperback (388 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... (Lecture Notes in Computer Science, 8312)

by Ken McMillan,Aart Middeldorp,Andrei Voronkov

ISBN 13: 9783642452208

Format: Paperback (808 pages)
Publisher: Springer
Published: 02 Dec 2013

Save for later

Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings: 2051 (Lecture Notes in Computer Science)

by Aart Middeldorp

ISBN 13: 9783540421177

Format: Paperback (380 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later