Logic, Symbolic and mathematical.

Logic, language, and computation / …で: (言語・文字資料 (印刷物))

Mathematical logic for computer science / …で: (言語・文字資料 (印刷物))

Logic for computer science :foundations of automatic theorem proving / …で: (言語・文字資料 (印刷物))

Mechanical logic in three-dimensional space / …で: (言語・文字資料 (印刷物))

Lectures on the logic of computer programming / …で: (コンピュータ・メディア)

Basics for numerical and symbolic computation / …で: (言語・文字資料 (印刷物))

Computational linguistics.

Logic, Symbolic and mathematical.

Numerical analysis.

Automatic theorem proving.

Language and logic.

Computer programming.