Using sophisticated models in resolution theorem proving

David M. Sandford
Bok · Språk ikke angitt · 1980

Utgitt	Berlin : Springer , 1980
Omfang	XI,239 s.
Opplysninger	Har bibliografi.
Emner	Matematikk - Databehandling Matematiske modeller
ISBN	0387102310. - 3540102310