权威例句
Generalized property directed reachabilityGeneralized Property Directed ReachabilityGeneralized Property Directed ReachabilitySine Qua Non for Large Theory ReasoningSine Qua Non for Large Theory ReasoningμZ– An Efficient Engine for Fixed Points with ConstraintsμZ– An Efficient Engine for Fixed Points with ConstraintsEvaluation of Automated Theorem Proving on the Mizar Mathematical LibraryA comparative study of three different types of barrier discharges in air at atmospheric pressure by cross-correlation spectroscopyEvaluation of Automated Theorem Proving on the Mizar Mathematical Library