Displaying 1 - 3 of 3

• Show 20 results Show 50 results Show 100 results Show 200 results
• Record number (newest) Record number (oldest) Date(newest) Date(oldest)
• CSV output
• Refer/BibIX output
• BibTeX output

Theorem Proving Based on the Partial Instantiation Technique

Yamamoto, Masahito | Ohyanagi, Toshio | Ohuchi, Azuma

• Journal Title電子情報通信学会論文誌. A, 基礎・境界

  Volume Number 78 Issue Number 7 Page Start 864 Page End 871

• Date 1995-07-25

Hokkaido University Collection of Scholarly and Academic PapersHokkaido University

命題論理におけるβ節充足可能性問題とその解法

Ohyanagi, Toshio | Yamamoto, Masahito | Ohuchi, Azuma

• Journal Title電気学会論文誌 C 電子・情報・システム部門誌

  Volume Number 114 Issue Number 7 Page Start 796 Page End 804

• Date 1994-07

Hokkaido University Collection of Scholarly and Academic PapersHokkaido University

SAT Algorithm Based on Implicit Enumeration Method

OHYANAGI, Toshio | YAMAMOTO, Masahito | OHUCHI, Azuma

• Journal Title情報処理学会論文誌

  Volume Number 34 Issue Number 12 Page Start 2464 Page End 2473

• Date 1993-12-15

Hokkaido University Collection of Scholarly and Academic PapersHokkaido University