Search results for: D. J. Jeffrey
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > AISC Regular Talks > 76-89
Lecture Notes in Computer Science > Computational Science – ICCS 2005 > Workshop on “Computer Algebra Systems and Applications, CASA 2005” > 667-670
Lecture Notes in Computer Science > Computational Science – ICCS 2005 > Workshop on “Computer Algebra Systems and Applications, CASA 2005” > 586-593
Journal of Symbolic Computation > 1997 > 24 > 5 > 563-573
Journal of Symbolic Computation > 1997 > 23 > 4 > 427-443
International Biodeterioration & Biodegradation > 1995 > 36 > 3-4 > 367-374