Middeldorp, Aart.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: Middeldorp, Aart.; SpringerLink (Online service) (書目-語言資料,印刷品)

Functional and logic programming = 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / by: Middeldorp, Aart.; Sato, Taisuke.; SpringerLink (Online service); Fuji International Symposium on Functional and Logic Programming (1999 :) (書目-語言資料,印刷品)

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: Middeldorp, Aart.; SpringerLink (Online service); Felty, Amy P. (書目-電子資源)

Rewriting techniques and applications = 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / by: Middeldorp, Aart.; SpringerLink (Online service); RTA 2001. ((2001 :) (書目-語言資料,印刷品)

主題