Logic, Symbolic and mathematic

Predicate logic :the semantic foundations of logic by: (Language materials, printed)

The diagonal infinity : problems of multiple scales by: (Language materials, printed)

Automated deduction in geometry: 4th International Workshop,ADG 2002 by: (Language materials, printed)

Artificial intelligence and symbolic computation : 7th international conference,AISC 2004,... by: (Language materials, printed)

Grammatical inference : algorithms and applications : 7th international colloquium,ICGI 2004,Athens,... by: (Language materials, printed)

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