Volume number72巻 2023年1月
計算機を用いた命題論...

計算機を用いた命題論理の演習について

Icons representing 記事

計算機を用いた命題論理の演習について

Call No. (NDL)
Z22-434
Bibliographic ID of National Diet Library
032654913
Material type
記事
Author
北本 卓也
Publisher
山口 : 山口大学教育学部
Publication date
2023-01
Material Format
Paper
Journal name
山口大学教育学部研究論叢 = Bulletin of the Faculty of Education, Yamaguchi University / 山口大学教育学部広報戦略部 編 72:2023.1
Publication Page
p.207-211
View All

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Digital
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
記事
Author/Editor
北本 卓也
Author Heading
Alternative Title
On Exercises in Propositional Logic Using Computers
Periodical title
山口大学教育学部研究論叢 = Bulletin of the Faculty of Education, Yamaguchi University / 山口大学教育学部広報戦略部 編
No. or year of volume/issue
72:2023.1
Volume
72
Pages
207-211
Publication date of volume/issue (W3CDTF)
2023-01