A computational logic


Robert S. Boyer and J. Strother Moore
Bok Engelsk 1979
Utgitt
New York : Academic Press , c1979
Omfang
xiv,397 s.
Opplysninger
Har bibliografi.
Emner
ISBN
0121229505

Bibliotek som har denne