Produzione Scientifica
Found 2 results
Filters: Keyword is Theorem proving [Clear All Filters]
Optimisation of sanitary landfill leachate treatment in a sequencing batch reactor,
, Water Science and Technology, Volume 58, Number 2, p.337-343, (2008)
On the existence of Arnold-stable barotropic flows on a rotating sphere,
, Physics of Fluids, Volume 15, Number 12, p.3879-3882, (2003)