Ładuje się......
Automated deduction CADE 12
| 1. autor: | Alan Bundy |
|---|---|
| Format: | Printed Book |
| Język: | English |
| Wydane: |
Springer-Verlag
1994
|
Podobne zapisy
-
Cade
od: Chase, James Hadley; Author
Wydane: (1999) -
Caval cade /
od: Coward, Noel .
Wydane: (1960) -
Deductive geometry /
od: Maxwell, E. A.
Wydane: (1962) -
Deductive geometry /
od: Maxwell, E. A.
Wydane: (1962) -
Deductive and inductive logic /
Wydane: (2010)