HOL
HOL
高階述語論理
(
higher-order logic
)
オランダ
の旧
IOCコード
This article is issued from
Wikipedia
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.