[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)

Bibliographic Information

Title
Circumscriptive Theorem Prover based on Integration of Guess and Check Programs(in Japanese)
Author
T.Wakaki, K.Tomita

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010000781936830208
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top