Logic, Symbolic and mathematical.

Logic, language, and computation / by: (書目-語言資料,印刷品)

Mathematical logic for computer science / by: (書目-語言資料,印刷品)

Logic for computer science :foundations of automatic theorem proving / by: (書目-語言資料,印刷品)

Mechanical logic in three-dimensional space / by: (書目-語言資料,印刷品)

Lectures on the logic of computer programming / by: (書目-電子資源)

Basics for numerical and symbolic computation / by: (書目-語言資料,印刷品)

Computational linguistics.

Logic, Symbolic and mathematical.

Numerical analysis.

Automatic theorem proving.

Language and logic.

Computer programming.