Uniform proofs as a foundation for logic programming

この論文にアクセスする

この論文をさがす

収録刊行物

  • Annals of Pure and Applied Logic

    Annals of Pure and Applied Logic 51, 125-157, 1991

被引用文献:  4件中 1-4件 を表示

各種コード

ページトップへ