clausal form造句


  1. However, the first proposal to use the clausal form of logic for representing computer programs was made by Cordell Green.
  2. During the summer of 1971, Colmerauer and Kowalski discovered that the clausal form of logic could be used to represent formal grammars and that resolution theorem provers could be used for parsing.
  3. Its name is derived from SL resolution, which is both sound and refutation complete for the unrestricted clausal form of logic . " SLD " stands for " SL resolution with Definite clauses ".
  4. It's difficult to find clausal form in a sentence. 用clausal form造句挺難的


  1. "claus winter hjelm"造句
  2. "claus zundel"造句
  3. "clausa"造句
  4. "clausade"造句
  5. "clausal"造句
  6. "clausal normal form"造句
  7. "clause"造句
  8. "clause 28"造句
  9. "clause 4"造句
  10. "clause 49"造句

Copyright © 2023 WordTech Co.