| Document Date: 2013-12-12 08:24:41 Open Document File Size: 274,73 KBShare Result on Facebook
Company J We / / Facility Chalmers University of Technology / Irkutsk State University / The University of Manchester Abstract / / IndustryTerm proof systems / proof-search algorithm / inverse proof search / bottom-up proof-search / / OperatingSystem Sequent / / Organization Irkutsk State University / University of Manchester Abstract / Chalmers University of Technology / / Person Laura Kov / Ai / / Technology proof-search algorithm / simulation / /
SocialTag |