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 | |
ISBN | 0387102310. - 3540102310
|
Utgitt | Berlin : Springer , 1980
|
---|---|
Omfang | XI,239 s.
|
Opplysninger | Har bibliografi.
|
Emner | |
ISBN | 0387102310. - 3540102310
|