Lataa...
Automated deduction CADE 12
| Päätekijä: | Alan Bundy |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
Springer-Verlag
1994
|
Samankaltaisia teoksia
-
Cade
Tekijä: Chase, James Hadley; Author
Julkaistu: (1999) -
Caval cade /
Tekijä: Coward, Noel .
Julkaistu: (1960) -
Deductive geometry /
Tekijä: Maxwell, E. A.
Julkaistu: (1962) -
Deductive geometry /
Tekijä: Maxwell, E. A.
Julkaistu: (1962) -
Deductive and inductive logic /
Julkaistu: (2010)