The following pages link to Attilio Colagrossi (Q1895409):
Displaying 11 items.
- (Q1389096) (redirect page) (← links)
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- A sequent calculus for automated reasoning in symbolic computation systems (Q1895410) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- (Q3323131) (← links)
- (Q3481818) (← links)
- An application of reduce to industrial mechanics (Q3914489) (← links)
- (Q4265395) (← links)
- (Q4362895) (← links)
- (Q4362904) (← links)
- Computing real zeros of polynomials with parametric coefficients (Q4745205) (← links)
