Từ khóa tìm kiếm tối thiểu 2 chữ cái, không chứa ký tự đặc biệt

Kết quả tìm kiếm (Có 2 kết quả)

Ảnh bìa Thông tin sách Tác giả & NXB Tóm tắt Trạng thái & Thao tác
Tác giả:
Karl Schugerl
Chưa có tóm tắt
Bản giấy
Tác giả:
Alan Bundy
Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
Bản giấy
The Computer Modelling Of Mathematical Reasoning
Tác giả: Alan Bundy
Năm XB: 1983 | NXB: Academic Press
Tóm tắt: Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
×