Index of /data/doc/misc/math/proof assistant/


../
Automated reasoning (Basin, Rusinowitch)(Spring..> 28-Jun-2016 23:19            12583634
Cambridge.Handbook.Of.Practical.Logic.And.Autom..> 28-Jun-2016 23:19             3007614
LNCS 3097 - Basin D.,Rusinowitch M. - Automated..> 28-Jun-2016 23:19             9550514