Propositional logic : deduction and algorithms
Hans Kleine Büning, Theodor Lettman[n]
Bok Engelsk 1999 H. Kleine Büning
Utgitt | Cambridge : Cambridge University Press , 1999
|
---|---|
Omfang | X, 409 s. : ill.
|
Emner | |
ISBN | 0521630177
|
Utgitt | Cambridge : Cambridge University Press , 1999
|
---|---|
Omfang | X, 409 s. : ill.
|
Emner | |
ISBN | 0521630177
|