[Updated on July 12] Integration of CiNii Articles into CiNii Research from April 1, 2022

Two types of diagrammatic inference system : natural deduction style and resolution style

Bibliographic Information

Title
Two types of diagrammatic inference system : natural deduction style and resolution style
Author
Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Journal

Articles

See more

Research Data

See more

Books

See more

Dissertations

See more

Research Projects

See more

Products

See more

Details

  • CRID
    1010000782454966017
  • Article Type
    journal article
  • Data Source
    • KAKEN
Back to top