Loading...
Automated deduction CADE 12
| Hovedforfatter: | Alan Bundy |
|---|---|
| Format: | Printed Book |
| Sprog: | English |
| Udgivet: |
Springer-Verlag
1994
|
Lignende værker
-
Cade
af: Chase, James Hadley; Author
Udgivet: (1999) -
Caval cade /
af: Coward, Noel .
Udgivet: (1960) -
Deductive geometry /
af: Maxwell, E. A.
Udgivet: (1962) -
Deductive geometry /
af: Maxwell, E. A.
Udgivet: (1962) -
Deductive and inductive logic /
Udgivet: (2010)