Søgeresultater - Aart Middeldorp

  • Mostrando 1 - 4 resultados de 4
Filtrar resultados
  1. Omslagsbillede

    Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / af Aart Middeldorp

    Udgivet 2001, c2001
    Ver documento en línea
    Bog
  2. Omslagsbillede

    Functional and Logic Programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / af Aart Middeldorp, Taisuke Sato

    Udgivet 1999, c1999
    Ver documento en línea
    Bog
  3. Omslagsbillede

    Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / af Ken McMillan, Aart Middeldorp, Andrei Voronkov

    Udgivet 2013, c2013
    Ver documento en línea
    Bog
  4. Omslagsbillede

    Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday / af Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer

    Udgivet 2005, c2005
    Ver documento en línea
    Bog

Søgeredskaber: