述語論理式間の含意関係判定の簡略化について


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

65_87-96.pdf

550.96 kB

PDF

Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/41098

Title:	述語論理式間の含意関係判定の簡略化について
Other Titles:	On the Reduction of Recognition of the Implication Relations between Formulas in the Logic of Predicates
Authors:	前田, 隆¹ Browse this author
Authors(alt):	Maeda, Takashi¹
Issue Date:	16-Dec-1972
Publisher:	北海道大学
Journal Title:	北海道大學工學部研究報告
Journal Title(alt):	Bulletin of the Faculty of Engineering, Hokkaido University
Volume:	65
Start Page:	87
End Page:	95
Type:	bulletin (article)
URI:	http://hdl.handle.net/2115/41098
Appears in Collections:	北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.65

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University