本本书屋

 本本书屋 logo

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

邏輯公式的可滿足性判定--方法 工具及應用
☆☆☆☆☆
簡體網頁||繁體網頁

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi 著者簡介

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi 圖書描述

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

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

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

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi 圖書目錄

下載链接在页面底部


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

發表於2024-07-05

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

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

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


喜欢 邏輯公式的可滿足性判定--方法 工具及應用 電子書 的读者还喜欢


邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:科學齣版社
作者:張健
出品人:
頁數:0
譯者:
出版時間:2000-10-01
價格:18.0
裝幀:
isbn號碼:9787030083647
叢書系列:

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

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

邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi 用戶評價

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

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

分享鏈接

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


相關圖書



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

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

友情鏈接

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

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有