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 ".


  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"の例文
  11. "clausade"の例文
  12. "clausal"の例文
  13. "clausal normal form"の例文
  14. "clause"の例文

著作権 © 2023 WordTech 株式会社