Search results for: William M. Farmer
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 216-228
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 66-79
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 287-288
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to Calculemus 2007 > 13-26
Electronic Notes in Theoretical Computer Science > 2009 > 226 > Complete > 39-48
Journal of Applied Logic > 2008 > 6 > 3 > 267-286