псы в рапиде » from archive
Painless NP-complete problems: an embedded DSL for SMT solving « Control.Monad.Writer - http://donsbot.wordpress.com/2011/01/16/painless-np-complete-...

2015-2016 Mokum.place