熱門搜尋
【我要重新搜尋】
您輸入的關鍵字: (英)馬克·萊恩
搜尋結果共 1 筆, 頁數 1 / 1
呈現:
本書對計算機科學方面的數理邏輯進行了綜合介紹,涵蓋命題邏輯、謂詞邏輯、模態邏輯與代理、二叉判定圖、模型檢測和程式驗證等內容。... more