數學與數學機械化

數學與數學機械化 pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:山東教育齣版社

作者:林東岱

出品人:

頁數:0

译者:

出版時間:2001-03-01

價格:27.0

裝幀:精裝

isbn號碼:9787532833900

叢書系列:

圖書標籤:

數學
數學
數學機械化
形式化驗證
定理證明
計算理論
邏輯學
計算機科學
人工智能
自動化推理
程序驗證

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

數學與數學機械化：中英對照，ISBN：9787532833900，作者：林東岱，李文林，虞言林主編

著者簡介

圖書目錄

讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

用戶評價

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

相關圖書

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

© 2025 book.quotespace.org All Rights Reserved. 小美書屋版权所有

中國國家圖書館

國立台灣圖書館

美國國會圖書館

開放圖書館 openlibrary.org