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
|