The following pages link to PERL (Q13965):
Displaying 4 items.
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Designing vehicle routes for a mix of different request types, under time windows and loading constraints (Q2355860) (← links)
- Construction and characterization of a rock-cluster-based EST analysis pipeline (Q2490530) (← links)
- Software release management for component-based software (Q4794716) (← links)
