Á lódáil...
Automated deduction CADE 12
| Príomhúdar: | Alan Bundy |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
Springer-Verlag
1994
|
Míreanna Comhchosúla
-
Cade
le: Chase, James Hadley; Author
Foilsithe: (1999) -
Caval cade /
le: Coward, Noel .
Foilsithe: (1960) -
Deductive geometry /
le: Maxwell, E. A.
Foilsithe: (1962) -
Deductive geometry /
le: Maxwell, E. A.
Foilsithe: (1962) -
Deductive and inductive logic /
Foilsithe: (2010)