Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan
Bok Engelsk 1996
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | IX, 231 s. : fig.
|
| Emner | Logikkprogrammering
Matematisk logikk - Databehandling automatisert bevisføring logikk databehandling |
| ISBN | 3540613986
|
