小哈圖書下載中心

 小哈圖書下載中心

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024

邏輯公式的可滿足性判定--方法 工具及應用
☆☆☆☆☆
簡體網頁||繁體網頁
張健
科學齣版社
2000-10-01
0
18.0
9787030083647

圖書標籤: 計算理論  計算機  數學  人工智能  CS   

喜歡 邏輯公式的可滿足性判定--方法 工具及應用 的讀者還喜歡


下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-06-29

邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024


圖書描述

邏輯公式的可滿足性問題是計算機科學和人工智能中的著名問題．本書前三章主要介紹經典的命題邏輯和一階謂詞邏輯公式以及模態邏輯公式的可滿足性判定算法，也介紹瞭有關的軟件工具．第四章則介紹它們在離散數學研究、軟件和硬件的形式驗證與測試等方麵的應用．

本書可供從事計算機科學和人工智能研究的有關人員閱讀，也可供高等院校計算機專業的本科生和研究生參考．

邏輯公式的可滿足性判定--方法 工具及應用 下載 mobi epub pdf txt 電子書

著者簡介

圖書目錄

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分☆☆☆☆☆

最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；

評分☆☆☆☆☆

作為本科生課外讀物，這本書簡潔有趣。

評分☆☆☆☆☆

最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；

評分☆☆☆☆☆

最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；

評分☆☆☆☆☆

最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；

讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有