Logic for computer science : foundations of automatic theorem proving
Jean H. Gallier
Bok Språk ikke angitt 1986
Utgitt | New York : Harper & Row , c1986
|
---|---|
Omfang | xv, 511 s. : fig.
|
Emner | |
ISBN | 0060422254
|
Utgitt | New York : Harper & Row , c1986
|
---|---|
Omfang | xv, 511 s. : fig.
|
Emner | |
ISBN | 0060422254
|