語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

跳至 : 概要書目資訊主題

Computer logic.

概要

作品:	3 作品在 0 項出版品 0 種語言

書目資訊

Computation, logic, games, and quantum foundations : = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Automated reasoning and mathematics : = essays in memory of William W. McCune / by: (書目-語言資料,印刷品)

A General framework for reasoning on inconsistency / by: (書目-語言資料,印刷品)

主題

Abramsky, Samson,

Artificial intelligence.

Computer logic.

Computer science.

Inconsistency (Logic)

變更密碼

登入