The Generation Problem of Assertion and Query Algorithm Based on Context Logic Reasoning to Implement

doi 10.2991/isci-15.2015.116
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Atlantis Press