载入...
Automated deduction CADE 12
| 主要作者: | Alan Bundy |
|---|---|
| 格式: | Printed Book |
| 语言: | English |
| 出版: |
Springer-Verlag
1994
|
相似书籍
-
Cade
由: Chase, James Hadley; Author
出版: (1999) -
Caval cade /
由: Coward, Noel .
出版: (1960) -
Deductive geometry /
由: Maxwell, E. A.
出版: (1962) -
Deductive geometry /
由: Maxwell, E. A.
出版: (1962) -
Deductive and inductive logic /
出版: (2010)