B瓦雷

此软件的关键字
zbMATH参考文献(参考
5篇文章
Guillaume Burel;Guillaume Bury;Cauderlier,Raphaël;Delahaye,David;Halmagrand,Pierre;Hermant,Olivier:一阶自动推理:当演绎模理论与实践相结合时(2020) Halmagrand,Pierre:使用类型化序列演算充分证明B方法公式(2016) Guillaume Bury;David Delahaye:simplex与tableaux的整合(2015) David Delahaye;Dubois,Catherine;Marché,Claude;Mentre,David:bware项目:为B证明义务的自动验证建立一个证明平台(2014年) ioport公司 大卫·德拉哈耶;达米安·多利盖兹;弗里德里克·吉尔伯特;皮埃尔·霍尔马格兰德;奥利维尔·赫尔曼特:泽农模数:当阿基里斯用演绎模数战胜乌龟(2013年)