Automated reasoning and its applications : essays in honor of Larry Wos
edited by Robert Veroff, with Gail W. Pieper
Bok Engelsk 1997
| Utgitt | Cambridge, Mass. : MIT Press , c1997
|
|---|---|
| Omfang | VIII, 247 s. : fig.
|
| Emner | Wos, Larry : (NO-TrBIB)90234423
(Matematikk) Automatic theorem proving Bevisføring - Databehandling automatisk bevisføring databehandling matematikk |
| ISBN | 0262220555
|
