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


邏輯公式的可滿足性判定--方法 工具及應用

簡體網頁||繁體網頁
張健 作者
科學齣版社
譯者
2000-10-01 出版日期
0 頁數
18.0 價格
叢書系列
9787030083647 圖書編碼

邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 圖書標籤: 計算理論  計算機  數學  人工智能  CS   


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




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

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

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

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



邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 用戶評價

評分

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

評分

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

評分

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

評分

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

評分

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

邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 著者簡介


邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 著者簡介


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

邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 圖書描述

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

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

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


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 讀後感

評分

評分

評分

評分

評分

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

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


分享鏈接





邏輯公式的可滿足性判定--方法 工具及應用 在線電子書 相關圖書




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

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有