您的瀏覽器不支援或未開啟JavaScript功能,將無法正常使用本系統,請開啟瀏覽器JavaScript功能,以利系統順利執行。
返回
/NclService/
快速連結
跳到主要內容
:::
首頁
關於本站
網站導覽
聯絡我們
國家圖書館
English
開啟查詢結果分析
查詢資訊
期刊論文索引(找篇目)
期刊指南(找期刊)
近代 (1853-1979年) 港澳華文期刊索引
漢學中心典藏大陸期刊論文索引
中國文化研究論文目錄
期刊瀏覽
檢索歷程
期刊授權
出版機構
公佈欄
常見問題
軟體工具下載
:::
首頁
>
查詢資訊
>
期刊論文索引查詢
>
詳目列表
查詢結果分析
來源資料
電腦季刊
20:3 1986.09[民75.09]
頁46-62
數學總論
>
數理哲學;數學基礎
相關文獻
數學邏輯應用於自動推理之簡介
您話多說了嗎?Resolution Theorem Proving在說話與解題中的應用
平面魔術方塊
電腦程式可專利性之研究--以數學邏輯演繹法則(Mathematical Algorithm)為探討之核心
幾種常見的數學思維方法
操作材料對兒童理解加減法關係和選擇計算策略的影響
數學邏輯的教學心得
理性的遵循--談西方古典建築的數與形
頁籤選單縮合
基本資料
引用格式
國圖館藏目錄
全國期刊聯合目錄
勘誤回報
我要授權
匯出書目
題 名
數學邏輯應用於自動推理之簡介
作 者
劉虎城
;
書刊名
電腦季刊
卷 期
20:3 1986.09[民75.09]
頁 次
頁46-62
分類號
310.1
關鍵詞
自動推理
;
數學邏輯
;
語 文
中文(Chinese)
頁籤選單縮合
推文
引用網址
引用嵌入語法
Line
FB
Google bookmarks
本文的引用網址:
複製引用網址
本文的引用網址:
複製引用網址