検索結果 1 件

デジタル記事
1990-03Bulletin of informatics and cybernetics24 1/2p.1-13
インターネットで読める全国の図書館
  • 要約等Model inference is an inductive inference of theories from their models. In this pape......se a method of model, inference for logic programs using both refinements in direction from general to ...

検索結果は以上です。