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
|