山崎 正人 YAMAZAKI MASATO

Articles:  1-3 of 3

  • PPSC-バスバッファの試作  [in Japanese]

    山崎 正人 , 甲斐 源太郎 , 築根 秀男

    Bulletin of the Electrotechnical Laboratory 43(4), p224-241, 1979-04

  • PPSC-ARBITERについて  [in Japanese]

    築根 秀男 , 甲斐 源太郎 , 山崎 正人

    Bulletin of the Electrotechnical Laboratory 43(4), p213-223, 1979-04

  • A programming system for resolution theorem provers  [in Japanese]

    YAMAZAKI MASATO , YAMAMOYO AKIRA

    Many strategies have been proposed for the resolution theorem provers. And there is a need for utilizing these various kind of strategies in practical theorem proving programs, because the effectivene …

    IPSJ Magazine 17(5), 410-416, 1976-05-15

    IPSJ 

Page Top