Logic, Symbolic and mathematic

Predicate logic :the semantic foundations of logic …で: (言語・文字資料 (印刷物))

The diagonal infinity : problems of multiple scales …で: (言語・文字資料 (印刷物))

Automated deduction in geometry: 4th International Workshop,ADG 2002 …で: (言語・文字資料 (印刷物))

Artificial intelligence and symbolic computation : 7th international conference,AISC 2004,... …で: (言語・文字資料 (印刷物))

Grammatical inference : algorithms and applications : 7th international colloquium,ICGI 2004,Athens,... …で: (言語・文字資料 (印刷物))

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