共 50 条
- [21] ParBaum: A fast program for phylogenetic tree inference with maximum likelihood High Performance Computing in Science and Engineering, Garching 2004, 2005, : 275 - 284
- [26] User-Guided Program Reasoning using Bayesian Inference PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 722 - 735
- [27] User-guided program reasoning using Bayesian inference ACM SIGPLAN Notices, 2018, 53 (04): : 722 - 735