Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-2 of 2 (Search time: 0.008 seconds).
  • previous
  • 1
  • next
Item hits:
BibliographyContents
規則限定Resolutionにより証明可能な命題論理式の複雑さ(アルゴリズムと計算量理論)
  MIYANO, Eiji, IWAMA, Kazuo (1995-04)
  数理解析研究所講究録, 906: 47-54
file type icon 
Demonstrating Programs against Adversaries
  SAKURAI, Kouichi, IWAMA, Kazuo (1995-04)
  数理解析研究所講究録, 906: 170-177
file type icon