Ả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ả:
Lin Lougheed |
Chưa có tóm tắt
|
Bản giấy
|
||
The Computer Modelling Of Mathematical Reasoning
Năm XB:
1983 | NXB: Academic Press
Số gọi:
511.3 BU-A
|
Tác giả:
Alan Bundy |
Nội dung gồm: 5 phần: Formal notation, Uniform proof procedures...
|
Bản giấy
|