Search results for: Peter Murray-Rust
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 128-129
Journal of Cheminformatics > 2015 > 7 > 1 > 1-14
Concurrency and Computation: Practice and Experience > 25 > 3 > 385 - 409
Serials Review > 2008 > 34 > 1 > 52-64
Journal of Molecular Modeling > 2005 > 11 > 6 > 532-541