語系: 繁體中文

說明(常見問題)

登入

跳至 : 概要書目資訊主題

Logic, Symbolic and mathematic

概要

作品:	5 作品在 5 項出版品 5 種語言

書目資訊

Predicate logic :the semantic foundations of logic by: (書目-語言資料,印刷品)

The diagonal infinity : problems of multiple scales by: (書目-語言資料,印刷品)

Automated deduction in geometry: 4th International Workshop,ADG 2002 by: (書目-語言資料,印刷品)

Artificial intelligence and symbolic computation : 7th international conference,AISC 2004,... by: (書目-語言資料,印刷品)

Grammatical inference : algorithms and applications : 7th international colloquium,ICGI 2004,Athens,... by: (書目-語言資料,印刷品)

主題

Logic.

Logic, Symbolic and mathematic

Predicate (Logic)

Logic, Symbolic and mathematic

Infinite.

Mathematics -- Philosophy.

Logic, Symbolic and mathematic

Automatic theorem proving-Cong

Geometry-Data processing-Congr

Logic, Symbolic and mathematic

Artificial intelligence - Cong

Formal languages -- Congresses

Logic, Symbolic and mathematic

變更密碼

登入