Načítá se...
Automated deduction CADE 12
| Hlavní autor: | Alan Bundy |
|---|---|
| Médium: | Printed Book |
| Jazyk: | English |
| Vydáno: |
Springer-Verlag
1994
|
Podobné jednotky
-
Cade
Autor: Chase, James Hadley; Author
Vydáno: (1999) -
Caval cade /
Autor: Coward, Noel .
Vydáno: (1960) -
Deductive geometry /
Autor: Maxwell, E. A.
Vydáno: (1962) -
Deductive geometry /
Autor: Maxwell, E. A.
Vydáno: (1962) -
Deductive and inductive logic /
Vydáno: (2010)