Kamareddine, Fairouz (ed) "Thirty-Five Years of Automating Mathematics: A Volume Dedicated to de Bruijn's Automath" Applied Logic Series, V. 28 Kluwer Academic Publishers; (February 2004)

(2004)

Languages mentioned