Đang tải...
Automated deduction CADE 12
| Tác giả chính: | Alan Bundy |
|---|---|
| Định dạng: | Printed Book |
| Ngôn ngữ: | English |
| Được phát hành: |
Springer-Verlag
1994
|
Những quyển sách tương tự
Những quyển sách tương tự
-
Cade
Bằng: Chase, James Hadley; Author
Được phát hành: (1999) -
Caval cade /
Bằng: Coward, Noel .
Được phát hành: (1960) -
Deductive geometry /
Bằng: Maxwell, E. A.
Được phát hành: (1962) -
Deductive geometry /
Bằng: Maxwell, E. A.
Được phát hành: (1962) -
Deductive and inductive logic /
Được phát hành: (2010)